search

melvic-ybanez / lohika

A Proof Generator for Entailments and Tautologies in First-order Logic
MIT License
37 stars 1 forks source link

Implicit conversion from string to formula #14

Closed melvic-ybanez closed 3 months ago

melvic-ybanez commented 3 months ago

This is an extension of the implicit String => Var that is already implemented.