Skip to content
#

substructural-logic

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Python 1 Rust 1

ldicocco / types-proofs-ownership

Star 0

Types, Proofs and Ownership: a free book on type theory, logic and category theory through Rust and Lean 4. Every idea in math, Rust and machine-checked Lean proofs, building to: are Rust's ownership and lifetimes really affine types?

rust dependent-types tutorial book lambda-calculus logic theorem-proving proof-assistant type-theory category-theory programming-languages ownership type-system formal-verification linear-types lean4 borrow-checker curry-howard affine-types substructural-logic
  • Updated Oct 11, 2026
  • Rust

Add this topic to your repo

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

Learn more