coqide
There are 2 repositories under coqide topic.
frankYaohua/Sudoku-Game-by-Coq
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
andy-morris/coq-hs
Use the CoqIDE XML protocol from Haskell
There are 2 repositories under coqide topic.
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
Use the CoqIDE XML protocol from Haskell