AutoInAgda icon indicating copy to clipboard operation
AutoInAgda copied to clipboard

Published 20 hours ago • verified publisher icon wenkokke
→

Metadata

Proof automation – for Agda, in Agda.

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

← Metadata

38
Stars
7
Forks
Watchers

Owner

verified publisher icon wenkokke

Metadata

Proof automation – for Agda, in Agda.

Back