A Coq Formalization of the Bochner integral.

Sylvie Boldo François Clément Louise Leclerc

Published in: CoRR (2022)

Keyphrases

theorem prover
formal methods
knowledge representation
cooperative
data mining
operational semantics
neural network
data sets
web services
computational complexity
computer science
relational databases
artificial neural networks
formal model
formal analysis