Metaprogramming, verified meta-theory and implementation of Coq in Coq
created at Oct. 19, 2017, 11:10 a.m.
17 +0
351 +1
77 +0