Pull requests - aniva/Pantograph - git.leni.sh

aniva/Pantograph

New pull request

feat(repl): MonadBacktrack for EMainM

#283 by aniva was merged 2025-08-17 22:19:50 -07:00

v0.3.7

feat(serial): Pickle environment delta's

part/Environment

#221 by aniva was merged 2025-06-27 16:02:22 -07:00

v0.3.3

feat: Output tactic invocation data to file

#208 by aniva was merged 2025-06-17 11:42:37 -07:00

v0.3.2

fix: Unnecessary instantiation call

#148 by aniva was merged 2025-01-07 17:31:09 -08:00

v0.3

perf: Lazy run print monads

#63 by aniva was merged 2024-04-08 10:37:28 -07:00

v0.3

feat: Change the main interaction monad

#40 by aniva was merged 2023-12-14 05:46:40 -08:00

v0.2.10

Remove the obsolete name field from proof tree structure

#11 by aniva was merged 2023-08-26 18:50:41 -07:00

v0.2.4

Simplify goal bookkeeping mechanism

#10 by aniva was merged 2023-08-30 19:18:37 -07:00

v0.2.4