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
Sovereign-grade Identity Insight AI for DID analysis, risk scoring, audit logs, and civic intelligence. Part of the TEOS / TESL governance framework by Elmahrosa.
audit-logs civic-tech compliance governance freactal digital-identity governance-dapps teos fastapi risk-scoring tesl ai-dashboard elmahrosa sovereign-tech
-
Updated
Jan 26, 2026 - JavaScript
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."