Update doc (#179) · coq-community/hydra-battles@b6ec382 · GitHub

Commit

Update doc (#179)

Browse files

* minor change

* small changes in doc

* simplify the proposition 'alpha < phi0 beta'

* simplify the proposition 'alpha < phi0 beta'

* improve Alectryon output

* minor changes in pdf doc

* minor changes in pdf doc

Loading branch information

Casteran authored Feb 12, 2024

1 parent 01456ef commit b6ec382