rocq-elpi
JSON →Elpi extension language for Rocq with CLI tools. Available on Homebrew and apt.
Traffic · last 30 days stale · no recent hits
total hits 6
actors 2 distinct systems
last hit 18d ago Bingbot
top countries 🇸🇬 Singapore · 🇨🇦 Canada · 🇺🇸 United States
Resources
homepagegithub.com/LPCIC/coq-elpi ↗