Scidonia Limited
Scidonia Limited: Artificial Intelligence System Design
Popular repositories Loading
Repositories
Showing 10 of 39 repositories
- lean-llvm Public
- leanin Public
A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.
- rocq2lean Public
Translate the automatically translatable fragment of Rocq (Coq) to Lean 4, marking everything that needs hand translation.
- lean-examples Public
Experiments in Lean 4: cyclic proofs, fractional-permission Hoare monad with in-place update checks
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…