Champitoad/flowers-metatheory Champitoad/flowers-metatheory

  • Stars
    star
    1
  • Language Coq
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Champitoad/flowers-metatheory
github

Champitoad

Reviews

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

Repository Details

Can ✿ capture intuitionistic logic?

More Repositories

1

flower-prover

Can 🌸 be turned into a direct manipulation GUI for theorem proving?
Elm
3
star
2

focalisation-classical-realizability

Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
TeX
1
star
3

CoqHopf

Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.
HTML
1
star
4

LambdaSub

Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
Makefile
1
star
5

cbpv

A study of a simplified Call-By-Push-Value lambda-calculus in Coq.
Coq
1
star
6

flower-auto

Can ❀ decide intuitionistic propositional logic?
OCaml
1
star