The Grail theorem prover: Type theory for syntax and semantics

Add code
Aug 26, 2016
Figure 1 for The Grail theorem prover: Type theory for syntax and semantics
Figure 2 for The Grail theorem prover: Type theory for syntax and semantics
Figure 3 for The Grail theorem prover: Type theory for syntax and semantics
Figure 4 for The Grail theorem prover: Type theory for syntax and semantics

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: