Prove freeness for SLists - Githubissues

pufferffish / agda-symmetries

MIT License

5 stars 1 forks source link

Prove freeness for SLists #93

Open vikraman opened 7 months ago

vikraman commented 7 months ago

https://github.com/vikraman/generalised-species/tree/master/gpd/SList/SMGStructure