veil

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
proofwidgetsv0.0.105
Helper toolkit for creating your own Lean 4 UserWidgets
Git dependency.
Found on Reservoir.
aesopv4.32.0
White-box automation for Lean 4
Git dependency.
Found on Reservoir.
batteriesv4.32.0
The "batteries included" extended library for the Lean programming language and theorem prover
Git dependency.
Found on Reservoir.
Loom27c03ba
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
Git dependency.
Not found on Reservoir.
smt922af46