3 ms·Concurroids - Calculus of Inductive Constructions [Currency using Coq]1 points by juliangamble 13y ago