luxfi/proofs
1
0
Fork 0
mirror of https://github.com/luxfi/proofs.git synced 2026-10-30 15:21:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
docs/lp-311-dex-settlement-bootstrap-layer8
proofs/lean/Warp
T
History
zeekay 2a54ceed92 chore: sync working tree 
Commits 5 outstanding change(s) that were sitting uncommitted.
No build artifacts and no secrets in the changeset (both checked).
2026-07-26 10:03:05 -07:00
..
Delivery.lean
proofs: drive Lean library to 0 errors, eliminate native_decide
2026-06-10 22:34:27 -07:00
Ordering.lean
proofs: drive Lean library to 0 errors, eliminate native_decide
2026-06-10 22:34:27 -07:00
Security.lean
chore: sync working tree
2026-07-26 10:03:05 -07:00