raulpy271 / first-order-logic

Parser of First Order Logic

Page: https://raulpy271.github.io/first-order-logic/

A parser written using functional parsing style with the library arcsecond to create the parser and ReactJS to create the interface.