Add `coq.env.add-context` for inserting context declarations#737

Merged

gares merged 11 commits intoLPCIC:masterfrom VojtechStep:feature/add-context

Jan 15, 2025

+107-64

Commits on Jan 6, 2025

Allow specifying the implicit binding kind of new section variables
VojtechStep
committed
Add coq.env.add-context for inserting a context declaration
VojtechStep
committed

Commits on Jan 7, 2025

Commits on Jan 13, 2025

use elpi 2.0.7
gares
committed
HACK nix
gares
committed

Commits on Jan 14, 2025

Commits on Jan 15, 2025