arthuraa/ll-cut-elim arthuraa/ll-cut-elim

  • Stars
    star
    1
  • Language Coq
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arthuraa/ll-cut-elim
github

arthuraa

Reviews

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

Repository Details

Cut elimination for Intuitionistic Linear Logic in Coq

More Repositories

1

poleiro

A blog about Coq
Coq
47
star
2

extructures

Finite sets and maps for Coq with extensional equality
Coq
30
star
3

deriving

Class instances for Coq inductive types with little boilerplate
Coq
24
star
4

agda-hoas-demo

Experiments with higher-order abstract syntax in Agda
Agda
19
star
5

memory-safe-language

A formalization of properties of a simple imperative, memory-safe language.
Coq
19
star
6

coq-utils

Some basic libraries for Coq.
Coq
14
star
7

beaq

A Formalization of TeX in Coq
Coq
10
star
8

cryptis

Coq
9
star
9

cufp-2015-tutorial

An introductory tutorial for the Coq proof assistant.
Coq
9
star
10

finprob

Finite probability theory in Coq
Coq
6
star
11

sf-grader

Auto grader for Software Foundations
OCaml
4
star
12

cutelittlethings

C++
3
star
13

coq-cpo

A Coq library for CPOs
Coq
2
star
14

cis670-project

Oh yeah
OCaml
2
star
15

netter

Produce Prism models from a simple imperative language
Coq
2
star
16

project

C
1
star
17

plink

1
star
18

Projeto-mc823

1
star
19

mc326-bplus

C
1
star
20

ssr-intro

An introduction to Coq through the ssreflect library.
Coq
1
star
21

emacs-files

Personal configuration files for Emacs
Emacs Lisp
1
star
22

forest-explanations

Jupyter Notebook
1
star