Agda
JSON →Command-line interface to the Agda dependently typed programming language and proof assistant.
Traffic · last 30 days ↑150% vs prev 7d
total hits 19
actors 4 distinct systems
last hit 13d ago human
top countries 🇸🇬 Singapore · 🇨🇦 Canada · 🇧🇷 Brazil · 🇫🇷 France · 🇺🇸 United States
Resources
homepagewiki.portal.chalmers.se/agda/ ↗