formalverification

formalverification/agda-native-ide

An Agda IDE with AI proof assist plugins and corpus search extensions

1 good first / help-wanted issue · TypeScript · last activity Oct 12, 2026

0 stars 0 forks 0 watchers TypeScript Other

1 Open Issue Need Help Last updated: Oct 12, 2026

Open Issues Need Help

View All on GitHub

[M1-8] Port PR 585's three exercises as example files 11 days ago

good first issue milestone-1-library-ide libraries

formalverification/agda-native-ide

0

An Agda IDE with AI proof assist plugins and corpus search extensions

TypeScript