├── Cpo.v ├── D_op.v ├── Dominance.v ├── Flip.v ├── Functions.v ├── Giry.v ├── Interp.v ├── LICENSE.txt ├── LowerIntegrals.v ├── Makefile ├── OpenFun.v ├── Opens.v ├── README.md ├── Random.v ├── RandomWalk.v ├── Riesz1.v ├── Rlow.v ├── S_compute_tac.v ├── U01.v ├── Valuations.v └── wCpo_compl.v /Cpo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Cpo.v -------------------------------------------------------------------------------- /D_op.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/D_op.v -------------------------------------------------------------------------------- /Dominance.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Dominance.v -------------------------------------------------------------------------------- /Flip.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Flip.v -------------------------------------------------------------------------------- /Functions.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Functions.v -------------------------------------------------------------------------------- /Giry.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Giry.v -------------------------------------------------------------------------------- /Interp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Interp.v -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /LowerIntegrals.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/LowerIntegrals.v -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Makefile -------------------------------------------------------------------------------- /OpenFun.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/OpenFun.v -------------------------------------------------------------------------------- /Opens.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Opens.v -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/README.md -------------------------------------------------------------------------------- /Random.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Random.v -------------------------------------------------------------------------------- /RandomWalk.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/RandomWalk.v -------------------------------------------------------------------------------- /Riesz1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Riesz1.v -------------------------------------------------------------------------------- /Rlow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Rlow.v -------------------------------------------------------------------------------- /S_compute_tac.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/S_compute_tac.v -------------------------------------------------------------------------------- /U01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/U01.v -------------------------------------------------------------------------------- /Valuations.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/Valuations.v -------------------------------------------------------------------------------- /wCpo_compl.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FFaissole/Valuations/HEAD/wCpo_compl.v --------------------------------------------------------------------------------