Guest0x0

Results 3 repositories owned by Guest0x0

normalization-bench

43
Stars
2
Forks
Watchers

Benchmarking various normalization algorithms for the lambda calculus

verified publisher icon Guest0x0

pruning-tutor

22
Stars
0
Forks
Watchers

a tutorial implementation on an elaborator of a dependently typed language with pruning

verified publisher icon Guest0x0

trebor

24
Stars
1
Forks
Watchers

an implementation of Observational Type Theory (OTT) and more

verified publisher icon Guest0x0