Dedukti

https://github.com/deducteam/dedukti

Dedukti is an implementation of The Lambda-Pi Modulo Theory that provides a type checker and...

Tokens:18,916
Snippets:261
Trust Score:8.4
Update:2 months ago
Tokens:
Raw