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

  • Stars
    star
    1
  • Language Coq
  • Created over 5 years ago
  • Updated over 2 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

ANTLR-Lua

Java
1
star
3

program-proof

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

souffle-layer

Emacs Lisp
1
star
5

jindex

cse687 course work
Java
1
star