by dreamlinuxer
Provides type checking, go-to-definition, case splitting, auto proof search, and other interactive features for the Agda dependently-typed programming language.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.