agda/agda

Created 2/16/2021

Contributors

193

Lines of Code

80,372

From

Sep 9, 2005

To

Feb 15, 2021

Share this video