agda-nplib


2 packages depend on agda-nplib:

agda-protocols
Shallow embedding of Protocols using Agda dependent types
Latest release 0.0.3 - Updated - 3 stars
agda-explore
Big operators as exploration functions in Agda
Latest release 0.0.1 - Published - 3 stars