Rare find

polynomial-model. A polynomial model of a Martin-Löf type theory + a bit of game semantics

github.com/AndrasKovacs/polynomial-model
by @AndrasKovacs

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.