0.3.2

New Issue

chore: Update Lean to at least v4.19.0
feat: Pickle expression objects
feat(frontend): Pipe data extraction output to file

2025-06-01

0% Completed

chore: Update Lean to v4.19.0

#205 opened 2025-05-07 06:54:21 -07:00 by aniva

chore/toolchain

Pipe data extraction functions to file

#204 opened 2025-05-06 09:19:14 -07:00 by aniva

Pickle proof object

#203 opened 2025-05-05 08:05:15 -07:00 by aniva

chore: Code cleanup

#202 opened 2025-05-02 08:26:40 -07:00 by aniva

Implement MonadBacktrack for MainM and backtrack goal states as well

#180 opened 2025-03-29 12:42:09 -07:00 by aniva