Pantograph

feat: State and environment pickling

1

#120 by aniva was merged 2024-11-15 23:10:34 -08:00

dev

serial/pickle

0.2.21

feat: Remove most filters on catalog

category

feature

part/Environment

#105 by aniva was merged 2024-10-06 16:12:23 -07:00

dev

env/catalog

0.2.19

fix: aux lemmas in env inspect

#82 by aniva was merged 2024-06-23 13:33:35 -07:00

dev

env/inspect

feat: Extraction of tactics from compiler

#76 by aniva was merged 2024-05-31 20:23:51 -07:00

dev

compile/tactic

TACAS '25

feat: Print precursor rules in env/inspect

#65 by aniva was merged 2024-04-11 15:35:15 -07:00

dev

env/inspect

0.3

feat: Remove display of implementation details

1

#50 by aniva was merged 2024-03-28 22:35:38 -07:00

dev

io/serial

feat: Print inductives, constructors, and recursors in env.inspect

category

feature

part/Environment

#43 by aniva was merged 2024-01-17 14:02:56 -08:00

dev

env/inspect

0.2.12

feat: Add definitions and theorems to the environment

category

feature

part/Environment

#41 by aniva was merged 2023-12-26 12:41:02 -08:00

dev

env/add-decl

0.3

feat: Handling of private names

#36 by aniva was merged 2023-12-05 20:22:38 -08:00

dev

library/catalog

feat: Shorter symbol category

category

feature

part/Environment

#33 by aniva was merged 2023-11-27 10:36:44 -08:00

dev

io/symbol

0.2.9

feat: Read dependencies of library symbols

category

feature

part/Environment

#32 by aniva was merged 2023-11-25 23:06:48 -08:00

dev

library/dependency

WIP: Proof tracing from theorem library

#28 by aniva was closed 2024-04-11 15:45:01 -07:00

dev

library/trace

0.3

Labels Milestones