Commit graph

3 commits

Author SHA1 Message Date
hi
d7d1e0cb05 latex truth table: easy part 2025-07-31 11:29:43 +00:00
hi
1a2c2fb50f serialize statements 2025-07-31 11:08:27 +00:00
hi
4fd2571d55 initial working: 2025-07-30 2025-07-31 10:52:20 +00:00