Awesome Open Source

Programming Languages

Search results for grammar proof net

2 search results found

Linearone ⭐ 12

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

Grail is a theorem prover for multimodal type-logical grammars

Related Searches

Python Grammar (771)

Javascript Grammar (681)

Language Grammar (613)

Java Grammar (530)

C Plus Plus Grammar (303)

C Grammar (236)

Grammar Prolog (46)

Latex Grammar (41)

Grammar Logic Programming (5)

Grammar Swi Prolog (5)

1-2 of 2 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.