ed963 / fol_ly

This repository contains an implementation of concepts from first-order logic, mainly to test my understanding as I work through Christopher C. Leary's "A Friendly Introduction to Mathematical Logic".
MIT License
0 stars 0 forks source link

fol(ly)

Code style: black

folly

(noun)

  1. lack of good sense; foolishness.
  2. a costly ornamental building with no practical purpose, especially a tower or mock-Gothic ruin built in a large garden or park.

This repository contains an implementation of concepts from first-order logic, mainly to test my understanding as I work through Christopher C. Leary's A Friendly Introduction to Mathematical Logic.