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
Jan 5, 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
Improve this page
Add a description, image, and links to the tesl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tesl topic, visit your repo's landing page and select "manage topics."