agda-explore
Big operators as exploration functions in Agda
Latest release 0.0.1 - Published - 3 stars
Language
Keyword
Platform

Subscribe to an RSS feed of this search