Transport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.
-
Updated
Oct 20, 2025 - Rust
#
tesl
Here are 3 public repositories matching this topic...
A collection of SVGs suitable for teaching vocabulary to all ages
-
Updated
Aug 3, 2026
🛡️ Develop sovereign-grade identity intelligence with TEOS-Identity-Insight-AI, aligned with the International Civic Blockchain Constitution for robust governance.
audit-logs civic-tech compliance governance freactal digital-identity governance-dapps teos fastapi risk-scoring tesl ai-dashboard elmahrosa sovereign-tech
-
Updated
Feb 1, 2026
Add this topic to your repo
To associate your repository with the tesl topic, visit your repo's landing page and select "manage topics."