search

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

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated