search

roberthoenig / FirstOrderLogic.jl

Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Other
19 stars 6 forks source link

README.md: Remove typo #1

Closed farkwun closed 6 years ago

roberthoenig commented 6 years ago

Good catch, thanks!