Pantograph

fix: universe commands in environment capture

2

#183 by aniva was merged 2025-04-07 20:18:50 -07:00

dev

bug/variable-level-names-in-scope

0.3

fix: env.add Declarations with universe levels

#181 by aniva was merged 2025-03-29 15:48:13 -07:00

dev

bug/env-add-level

0.3

feat: Update CoreM options from parsed header

1

#177 by aniva was merged 2025-03-28 18:56:22 -07:00

dev

frontend/env-init

0.3

chore: Cleanup the library system

#169 by aniva was merged 2025-03-08 21:19:01 -08:00

dev

chore/cleanup

0.3

doc: Manual about env.{describe,module_read}

#165 by aniva was merged 2025-01-26 22:04:29 -08:00

dev

env/module

0.2.25

feat: Module reading functions

category

feature

part/Environment

#159 by aniva was merged 2025-01-24 15:01:17 -08:00

dev

env/module

0.2.25

feat: Add source location extraction

#154 by aniva was merged 2025-01-10 12:47:36 -08:00

dev

env/inspect

0.2.24

feat: Pickling goal states

#129 by aniva was merged 2024-12-05 16:02:26 -08:00

dev

serial/pickle

0.2.21

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