Ben Selfridge
Results
2
repositories owned by
Ben Selfridge
logix
20
Stars
0
Forks
Watchers
Logic Explorer - customizable proof construction tool for sequent calculi
