Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle.

Jonas Bayer Marco David Abhik Pal Benedikt Stock

Published in: CoRR (2021)

Keyphrases

factors affecting
formally define
image sequences
artificial neural networks
probabilistic model
statistical analysis
computer assisted learning