Rare find

rust-nbe-for-mltt. Normalization by evaluation for Martin-Löf Type Theory with dependent records

github.com/brendanzab/rust-nbe-for-mltt
by @brendanzab

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.