QuanticPotato/vcoq QuanticPotato/vcoq

  • Stars
    star
    1
  • Language
    Vim Script
  • License
    GNU General Publi...
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
QuanticPotato/vcoq
github

QuanticPotato

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A vim plugin, to provide a user-friendly interface in order to use the Coq Proof Assistant.

More Repositories

1

supertux-nspire

An adaptation of the SuperTux game for the TI-nspire calculator.
C++
5
star
2

xor-cracker

Try to guess XOR key
Python
2
star
3

SAMPL

Still another math proofs library !
OCaml
1
star