A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq

Code

Add Remove Mark official

No code implementations yet. Submit your code now

Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.

No methods listed for this paper. Add relevant methods here