formalmethods. Formal Methods Seminar handout on the compactness and Löwenheim–Skolem theorems.

github.com/beastaugh/formalmethods
by @beastaugh

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.