Commit graph

Select branches

Hide pull requests

main

Mono Color

• c4262a10e2 needs a LOT of cleaning, but basics of proof parser working main William Ball 2024-08-14 14:42:08 -0700
• 82213f0df8 reorganization in preparation for ProofParser William Ball 2024-08-14 10:13:45 -0700
• 68de6a806b added negation and cleaned up/fixed parsing William Ball 2024-08-13 18:55:21 -0700
• 607b9f1d7d fixed parser ignoring tokens and flipped associativity the right way round William Ball 2024-08-13 16:08:08 -0700
• 55a1a9ce0a pretty printer now respects associativity William Ball 2024-08-13 16:07:54 -0700
• 9cf96669e1 mostly? done with parsing formulas William Ball 2024-08-13 14:03:32 -0700
• 8c02ee3021 parsing terms! William Ball 2024-08-12 15:54:00 -0700
• 5836cbe2f4 scanner works William Ball 2024-08-12 01:03:31 -0700
• f9b24ef221 reorganization in preparation for parser William Ball 2024-08-12 00:24:52 -0700
• 0c458b0833 pretty printing William Ball 2024-08-12 00:22:16 -0700
• c1c25e643b basic proof checking completed? William Ball 2024-08-11 16:41:51 -0700
• 420a2418c3 updated README William Ball 2024-08-11 14:55:29 -0700
• da038b29cf good start William Ball 2024-08-11 14:54:43 -0700
• 9bf17c66fd testing William Ball 2024-08-11 14:07:38 -0700
• dba0f9bb87 testing William Ball 2024-08-11 13:56:40 -0700
• e17084c37f Initial commit William Ball 2024-08-11 12:54:50 -0700