Tag: agda
1 packages with this tag
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
neovim
proof-assistant
plugin
verification
Package
Description
Version
cornelis
☆
formula
Neovim support for Agda
2.8.0