wilcoxjay/jamesprl wilcoxjay/jamesprl

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Standard ML
  • Created about 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wilcoxjay/jamesprl
github

wilcoxjay

Reviews

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

Repository Details

A proof refinement logic in the style of JonPRL for my own edification

More Repositories

1

mypyvy

A language for symbolic transitions system, inspired by Ivy.
Python
64
star
2

coq-lit

Literate coq blog posts
Python
16
star
3

notes

Dafny
9
star
4

mechanized-metatheory2

Coq
5
star
5

tactics

some Coq tactics I've found useful
Coq
5
star
6

ill-formed-expressions

OCaml
3
star
7

miniprl-coq

A port of MiniPRL to Coq
Coq
2
star
8

pretty

Coq
2
star
9

slides

JavaScript
1
star
10

mypyvy-tool-paper

A tool paper about mypyvy
TeX
1
star
11

wave

1
star
12

PrettyParsing

verified, human-readable, text-based serializers in Coq
Coq
1
star
13

wptp-schedule

Java
1
star