rust-nbe-for-mltt icon indicating copy to clipboard operation
rust-nbe-for-mltt copied to clipboard

Published 20 hours ago • verified publisher icon brendanzab
→

Metadata

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Results 0 rust-nbe-for-mltt issues
Sort by recently updated
recently updated
newest added

← Metadata

90
Stars
7
Forks
Watchers

Owner

verified publisher icon brendanzab

Metadata

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Back