Pinned Repositories
babel-MAC
coq-forcing
A plugin for Coq that implements the call-by-name forcing translation
TRE_Completude
Fourier-Curves
Fourrier Transform to store various curves
BtheCat's Repositories
BtheCat/babel-MAC
BtheCat/coq-forcing
A plugin for Coq that implements the call-by-name forcing translation
BtheCat/TRE_Completude