Agda
Provides type checking, go-to-definition, case splitting, auto proof search, and other interactive features for the Agda dependently-typed programming language.
0Tools
2Findings
0Stars
Mar 24, 2026Last Scanned
Security Category Deep Dive
Select a category to explore sub-categories, findings, and compliance coverage.