lean4-sgdt. Experiments with synthetic guarded domain theory in Lean 4.

github.com/jonsterling/lean4-sgdt
by @jonsterling

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.