📦 coqide

3 pages

C

  • coqide(1)graphical interface for the Coq proof assistant✨
  • coqide.byte(1)graphical interface for the Coq proof assistant✨
  • coqide.opt(1)graphical interface for the Coq proof assistant✨