brendanzab / elaboration-zoo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from andraskovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
License: BSD 3-Clause "New" or "Revised" License