finmap
From MaRDI portal
Software:1334061
No author found.
Source code repository: https://github.com/math-comp/finmap
Related Items (2)
Validating Mathematical Structures ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism
This page was built for software: finmap
