ipl icon indicating copy to clipboard operation
ipl copied to clipboard

Published 20 hours ago • verified publisher icon andreasabel
→

Metadata

Agda formalization of Intuitionistic Propositional Logic

Results 0 ipl issues
Sort by recently updated
recently updated
newest added

← Metadata

19
Stars
2
Forks
Watchers

Owner

verified publisher icon andreasabel

Metadata

Agda formalization of Intuitionistic Propositional Logic

Back