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