Giters

calin1304 / ml-prover

Parser for a matching logic interactive proof assitant

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ml-parser

About

Parser for a matching logic interactive proof assitant

License:Other

Languages

Language:Yacc 42.7%Language:Lex 37.5%Language:Haskell 19.8%