Upstream everything to base repo - #13

Open

forrazh wants to merge 19 commits into

Commits on Mar 26, 2026

Merge pull request #1 from forrazh/initialise
forrazh
authored

Commits on Mar 27, 2026

Merge branch '2xs:main' into main
forrazh
authored

Commits on Jun 9, 2026

changes on FlipMonad and FreerFlip for infotheo 0.9.7 (#2)

awshanhussain
and
awshan
authored
changement sur FrlipMonad et FreerFlip pour infotheo 0.9.7

awshan
authored and
Hugo Forraz
committed

Commits on Jul 9, 2026

Makefile (#3)
affeldt-aist
authored
Update README with project details and installation instructions
forrazh
authored
Update .gitignore (#6)

forrazh
and
Hugo Forraz
authored

Commits on Jul 13, 2026

fix .gitignore
Hugo Forraz
committed
Update Hoare.v (linting / usage of logical rules) (#9)

affeldt-aist
and
Hugo Forraz
authored

Commits on Jul 22, 2026

Add deprecations + small cleanup (#11)
forrazh
authored
add ci

Hugo Forraz
authored and
forrazh
committed
update monae to latest

Hugo Forraz
authored and
forrazh
committed

Commits on Jul 24, 2026

Commits on Jul 27, 2026

Add round-trip exchange proba (#5)

forrazh
and
Hugo Forraz
authored

Commits on Jul 28, 2026

Replace custom tactics with Equational Reasoning (#8)

forrazh
and
Hugo Forraz <hugo.forraz@univ-lille.fr> & Reynald Affeldt
authored