~lapinot

webpage

my professional webpage

ogs-coq

ogs in coq (w/ yzakowski gjaber and thirschowitz)

containers

containers (as in polynomial functors) in agda

Activity

bf34e8e initial commit

~lapinot pushed to ~lapinot/webpage git

3 months ago via webpage
~lapinot/webpage

New git repository added

3 months ago via webpage

d50ac6d more compact proof of associativity

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

9b14e13 factor out the 100 arguments of composition associativity

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

617626a cleaner aux types for composition

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

57e4c17 done associativity

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

96dcf51 Cleaner composition. WIP associativity.

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

cb6dd41 cleaner leaf-type handling

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

35a32b8 Definition of lollipop (and/or tensor) on games, together with composition of strategies.

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

88453b5 forgot dual.v!

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

a7fc0fe More explicit names for computations + fixup in theories/STLC.

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

66a11e9 update dual

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

bbdd5b8 half-games fun

~lapinot pushed to ~lapinot/ogs-coq git

2 years ago via ogs-coq

2e90bed initial

2 years ago via containers
~lapinot/containers

New git repository added

2 years ago via containers
1 / 2