lsrcz/mini-prover lsrcz/mini-prover

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lsrcz/mini-prover
github

lsrcz

Reviews

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

Repository Details

Term project for TaPL. A mini coq-like proof assistant.

More Repositories

1

grisette

A monadic library for symbolic evaluation
Haskell
51
star
2

Pointer-Analysis

Java
4
star
3

grisette-haskell-legacy

Haskell
3
star
4

GED

Graph edit distance
C++
3
star
5

KerasGUI

This is the course project for Java Programming
Java
3
star
6

MURA-Model

A model for the MURA dataset
Python
2
star
7

learning-Haskell

Solutions to the book Haskell Programming from first principles.
Haskell
2
star
8

grisette-g2q-benchmarks

Haskell
2
star
9

grisette-examples

Haskell
2
star
10

grisette-monad-coroutine

Haskell
1
star
11

torch-extension-test

Cuda
1
star
12

grisette-playground

Playing with Grisette for exploring new features
Nix
1
star
13

grisette-synth-lib

Haskell
1
star
14

first-order-dpsynth

Haskell
1
star
15

grisette-benchmarks

Haskell
1
star
16

leanette-popl22-artifact

Racket
1
star
17

grisette-megaparsec

Haskell
1
star
18

grisette-fused-effects

Haskell
1
star
19

SyGuS

Python
1
star
20

grisette-coq

Coq
1
star
21

grisette-popl23-artifact

Dockerfile
1
star
22

Seam-Carving

Content-aware image retargeting implemented in Python
Python
1
star