Exploring Formalisation
portes grátis
Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Loeh, Clara
Springer International Publishing AG
09/2022
147
Mole
Inglês
9783031146480
15 a 20 dias
275
Descrição não disponível.
Introduction.- 1 The Lean Proof Assistant.- 2 Basic Examples.- 3 Design Choices.- 4 Abstraction and Prototyping.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formalization of mathematics;Lean;proof assistant;mathematics in Lean;theorem prover;tutorial on lean;examples in Lean;verification of proofs;simplicial topology;simplicial complexes
Introduction.- 1 The Lean Proof Assistant.- 2 Basic Examples.- 3 Design Choices.- 4 Abstraction and Prototyping.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
