Upstream everything to base repo #13

Open

forrazh wants to merge 9 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