lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

verified publisher icon LightAndLight
→

Metadata

Educational implementation of dependent types

Results 0 lambdapi issues
Sort by recently updated
recently updated
newest added

← Metadata

19
Stars
3
Forks
Watchers

Owner

verified publisher icon LightAndLight

Metadata

Educational implementation of dependent types

Back