finmap

MaRDI QIDQ1334061swMATHFDO

Official website https://github.com/math-comp/finmap

Source code repository https://github.com/math-comp/finmap

Cited in

(3)

• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Validating Mathematical Structures
• PCM library

This page was built for software: finmap