Works
git.hackliberty.org
Just a collection of works I have done to help and educate others on a range of topics

cross-posted from: https://community.hackliberty.org/post/45

Bit of an off the wall paper I wanted to write on First Order Logic. This is just an introduction as I have found that Intros for FoL kind of suck.