Agda
JSON →Command-line interface to the Agda dependently typed programming language and proof assistant.
Traffic · last 30 days ↓87% vs prev 7d
total hits 20
actors 7 distinct systems
last hit 2d ago ByteDance
top countries 🇺🇸 United States · 🇸🇬 Singapore · 🇨🇦 Canada · 🇦🇹 Austria · 🇪🇸 Spain
Resources
homepagewiki.portal.chalmers.se/agda/ ↗