StarGazerM/my-foolish-code StarGazerM/my-foolish-code

  • Stars
    star
    1
  • Language Coq
  • Created almost 6 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
StarGazerM/my-foolish-code
github

StarGazerM

Reviews

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

Repository Details

(some-foolish-code (Flower Q) my-brain)

More Repositories

1

ppa-in-code

some my implementation of content in PPA
Racket
14
star
2

souffle-layer

Emacs Lisp
1
star
3

ANTLR-Lua

Java
1
star
4

jindex

cse687 course work
Java
1
star
5

program-proof

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