issues
search
jgonggrijp
/
net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Other
3
stars
2
forks
source link
readme
net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.