Allgemein
Formalizing Results of Formal Concept Analysis
Formalizing Results of Formal Concept Analysis Formalization of a large number of definitions and theorems in Algebra, Number Theory and Analysis in the lean prover brings the field of formal theorem proving to the forefront Read more…