amblafont/admissible-initial amblafont/admissible-initial

  • Stars
    star
    1
  • Language Coq
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amblafont/admissible-initial
github

amblafont

Reviews

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

Repository Details

Initial Semantics for admissible operations

More Repositories

1

unification

Notes (and implementation) of unification with binders
TeX
14
star
2

sedlex-menhir

Small example: sedlex-menhir vs ocamllex-ocamlyacc
OCaml
7
star
3

graph-editor-web

An online graph editor written in Elm
Elm
6
star
4

UniversalII

with UIP and rewrite rules in agda
Agda
5
star
5

Skew-Monoidalcategories

Skew monoidal categories in UniMath with structural strengths
Coq
2
star
6

binding-debruijn

Initial semantics (de Bruijn) for binding signature
Coq
2
star
7

bell-quantum-experiment

Article explaining bell's violation of the inequalities
2
star
8

thomas

The article with Thomas
TeX
1
star
9

thesis

Pdf de ma thรจse
1
star
10

AutoCorres

changes to autocorres 1.6
Isabelle
1
star
11

notes

Some notes about various stuff
TeX
1
star
12

dargent-examples

Dargent layout specs in cogent
Isabelle
1
star