amblafont/bell-quantum-experiment amblafont/bell-quantum-experiment

  • Stars
    star
    2
  • Language
  • Created about 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amblafont/bell-quantum-experiment
github

amblafont

Reviews

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

Repository Details

Article explaining bell's violation of the inequalities

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

thomas

The article with Thomas
TeX
1
star
8

thesis

Pdf de ma thèse
1
star
9

AutoCorres

changes to autocorres 1.6
Isabelle
1
star
10

notes

Some notes about various stuff
TeX
1
star
11

dargent-examples

Dargent layout specs in cogent
Isabelle
1
star
12

admissible-initial

Initial Semantics for admissible operations
Coq
1
star