William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
wball created repository wball/dotfiles 2024-08-12 17:36:15 -07:00
wball pushed to main at wball/proof-checker 2024-08-12 15:55:15 -07:00
8c02ee3021 parsing terms!
wball pushed to main at wball/proof-checker 2024-08-12 01:03:39 -07:00
5836cbe2f4 scanner works
wball pushed to main at wball/proof-checker 2024-08-12 00:25:07 -07:00
f9b24ef221 reorganization in preparation for parser
wball pushed to main at wball/proof-checker 2024-08-12 00:22:26 -07:00
0c458b0833 pretty printing
wball pushed to main at wball/proof-checker 2024-08-11 16:42:03 -07:00
c1c25e643b basic proof checking completed?
wball pushed to main at wball/proof-checker 2024-08-11 14:55:44 -07:00
420a2418c3 updated README
da038b29cf good start
Compare 2 commits »
wball pushed to main at wball/proof-checker 2024-08-11 14:07:42 -07:00
9bf17c66fd testing
wball pushed to main at wball/proof-checker 2024-08-11 13:56:45 -07:00
dba0f9bb87 testing
wball created repository wball/proof-checker 2024-08-11 12:54:51 -07:00