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.
Not found on Reservoir.
VerifiedHAMT24bbc61
Git dependency.
Found on Reservoir.
Looma8f7993
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