Lebesgue Induction and Tonelli's Theorem in Coq.
Sylvie BoldoFrançois ClémentVincent MartinMicaela MayeroHouda MouhcinePublished in: CoRR (2022)
Keyphrases
- formal methods
- program synthesis
- constructive induction
- inductive learning
- von neumann
- theorem prover
- explanation based learning
- rule induction
- oblique decision trees
- concept formation
- concept learning
- inductive logic programming
- information retrieval
- subgroup discovery
- discovery process
- first order logic
- decision making
- functional programs
- genetic algorithm