ClineCube

0

followers

0

following

stars

ClineCube's starred repositories

lambda-calculus

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

Language:Coq7700

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.