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

aniva/Pantograph

New pull request

feat(goal): Use tacticSeq parser

#258 by aniva was merged 2025-07-30 21:56:06 -07:00

v0.3.5

fix(goal): Handling of underspecified expressions

#254 by aniva was merged 2025-07-29 11:49:19 -07:00

v0.3.5

feat(repl): Tactic division

#253 by aniva was merged 2025-07-28 16:06:18 -07:00

v0.3.5

fix(repl): Elaborate with errToSorry as false by default

#187 by aniva was merged 2025-05-01 09:00:04 -07:00

v0.3.1

feat: Handling of universe level names in elab

#79 by aniva was closed 2024-06-23 13:33:55 -07:00

v0.3

fix: Auto bound implicit in elab

#60 by aniva was merged 2024-04-06 22:04:32 -07:00

v0.3

feat: Specify type in echo

#55 by aniva was merged 2024-03-31 16:45:44 -07:00