StarGazerM/program-proof StarGazerM/program-proof

  • Stars
    star
    1
  • Language
    Racket
  • Created almost 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
StarGazerM/program-proof
github

StarGazerM

Reviews

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

Repository Details

some code note on book "program= proof" but not in OCAML ==.

More Repositories

1

ppa-in-code

some my implementation of content in PPA
Racket
14
star
2

my-foolish-code

(some-foolish-code (Flower Q) my-brain)
Coq
1
star
3

souffle-layer

Emacs Lisp
1
star
4

ANTLR-Lua

Java
1
star
5

jindex

cse687 course work
Java
1
star