maciej-bendkowski/prop-calculus maciej-bendkowski/prop-calculus

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maciej-bendkowski/prop-calculus
github

maciej-bendkowski

Reviews

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

Repository Details

Experimental playground for intuitionistic propositional calculus

More Repositories

1

boltzmann-brain

Analytic sampler compiler for combinatorial systems
Haskell
29
star
2

generic-boltzmann-brain

Analytic sampler framework for algebraic data types
Haskell
14
star
3

paganini

Multiparametric tuner for combinatorial specifications
Python
5
star
4

lambda-sampler

Boltzmann sampler utilities for lambda calculus
Haskell
5
star
5

multiparametric-combinatorial-samplers

Auxiliary examples of combinatorial specifications amenable to multiparametric frequency tuning
Haskell
4
star
6

LCCLUtils

Lambda Calculus & Combinatory Logic utilities for Haskell
Haskell
2
star
7

buffon-machines

Monadic implementation of Buffon machines meant for perfect simulation of discrete random variables
Haskell
1
star
8

combinatorics-of-explicit-substitutions

Supplementary material to the "Combinatorics of explicit substitutions" paper
Coq
1
star