Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / dtumad / lean-crypto-formalization
Library for formalizing cryptography proofs in Lean 3 (Deprecated)
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dtumad%2Flean-crypto-formalization
Stars: 7
Forks: 0
Open Issues: 0
License: apache-2.0
Language: Lean
Repo Size: 2.13 MB
Dependencies:
8
Created: over 3 years ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago
Topics: cryptography, formal-mathematics, formal-methods, formal-proofs, lean, proof-automation, theorem-proving
Files
Dependencies
- actions/checkout v2 composite
- actions/setup-python v2 composite
- leanprover-contrib/lean-build-action master composite
- leanprover-contrib/update-versions-action master composite
- styfle/cancel-workflow-action 0.9.0 composite
- actions/checkout v2 composite
- leanprover-contrib/lean-upgrade-action master composite
- leanprover-contrib/update-versions-action master composite