intuitionistic topic
List
intuitionistic repositories
ttyped
15
Stars
1
Forks
Watchers
A simple dependently typed language based on the Calculus of Constructions.
