#

tesl

Here are 2 public repositories matching this topic...

sequentlabs / proof-transport

Transport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.

coq agda lean proofs formal-verification zero-knowledge nlnet tesl

Updated Oct 20, 2025
Rust

joshnishikawa / savage

A collection of SVGs suitable for teaching vocabulary to all ages

svg vocabulary illustration english efl tefl tesl

Updated Oct 26, 2024

Improve this page

Add a description, image, and links to the tesl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tesl topic, visit your repo's landing page and select "manage topics."