search

LS-Lab / KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
http://keymaeraX.org/
GNU General Public License v2.0
77 stars 39 forks source link

Proper parser for Archives/Lemmas #33

Closed nrfulton closed 6 years ago

nrfulton commented 7 years ago

Replace the Regex-based stand-in with a proper parser (in the style of KeYmaera X parser or the Bellerophon parser).

aplatzer commented 6 years ago

closed by @smitsch