proof-ninja/coqban proof-ninja/coqban

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    TypeScript
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
proof-ninja/coqban
github

proof-ninja

Reviews

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

Repository Details

More Repositories

1

coqpad

่จผๆ˜Žๆคœ็ดขNo.1๏ผๅฎš็†ใฎ่จผๆ˜Ž่ผ‰ใ›ใ‚‹ใชใ‚‰ ใ‚ณใƒƒใ‚ฏใƒ‘ใƒƒใƒ‰
TypeScript
8
star
2

ocaml-blake3

OCaml
6
star
3

merckletree_coq

Formal Verification of Merckle Proof algorithm in Coq
Coq
3
star
4

norimaki

OCaml
3
star
5

scala-text-repo

Scala
3
star
6

coq-scaml

SCaml Smart Contract Environment for Coq Provers
Coq
2
star
7

coq-result

The Result Type for Coq
Coq
2
star
8

docker-BIRDS

Dockerfile of BIRDS
Dockerfile
2
star
9

ovm_contracts_scaml

OVM implementation in SCaml on Tezos
OCaml
1
star
10

clang2cabs

OCaml
1
star
11

akka-artery-remote-sample

Scala
1
star
12

g-shock

1
star