opentheory topic
List
opentheory repositories
opentheory
15
Stars
3
Forks
Watchers
The opentheory tool processes higher order logic theory packages
