summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
6 daysfeat: implement basic assertion modelingdemo
Right now we can do implication, negation, double implication, and, or, and xor. That might be all we need for now.
6 daysdocs: add SO referencedemo
7 dayschore: initialize Go moduledemo
7 daysdocs: start writing README notesdemo