htt icon indicating copy to clipboard operation
htt copied to clipboard

Published 20 hours ago • verified publisher icon imdea-software
→

Metadata

Hoare Type Theory

Results 1 htt issues
Sort by recently updated
recently updated
newest added

Port the congprog example

1 comment

A continuation of https://github.com/imdea-software/htt/issues/8. The main roadblock with these two are the universe inconsistency issues.

clayrat avatar clayrat

← Metadata

66
Stars
5
Forks
Watchers

Owner

verified publisher icon imdea-software

Metadata

Hoare Type Theory

Back