706eb5d update galop24 event

~lapinot pushed to ~lapinot/webpage git

bf34e8e initial commit

~lapinot pushed to ~lapinot/webpage git

d50ac6d more compact proof of associativity

~lapinot pushed to ~lapinot/ogs-coq git

9b14e13 factor out the 100 arguments of composition associativity

~lapinot pushed to ~lapinot/ogs-coq git

617626a cleaner aux types for composition

~lapinot pushed to ~lapinot/ogs-coq git

57e4c17 done associativity

~lapinot pushed to ~lapinot/ogs-coq git

96dcf51 Cleaner composition. WIP associativity.

~lapinot pushed to ~lapinot/ogs-coq git

cb6dd41 cleaner leaf-type handling

~lapinot pushed to ~lapinot/ogs-coq git

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

~lapinot pushed to ~lapinot/ogs-coq git

88453b5 forgot dual.v!

~lapinot pushed to ~lapinot/ogs-coq git

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

~lapinot pushed to ~lapinot/ogs-coq git

66a11e9 update dual

~lapinot pushed to ~lapinot/ogs-coq git

bbdd5b8 half-games fun

~lapinot pushed to ~lapinot/ogs-coq git

2e90bed initial

~lapinot pushed to ~lapinot/containers git