Change the repository type filter
All
Repositories list
5 repositories
idris-frex
Publicmetaocaml-frex
Publichaskell-frex
Publicmultifrex
Publicagda-fragment
PublicAlgebraic proof discovery in Agda
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.