melitte
Toy implementation of Martin-Löf Type Theory
melitte Latest Version Download
Download Latest Version (.zip)// repository documentation
Was this content helpful?
(0 ratings)
