Loh C ProofLab A Short Introduction to Formalising Mathematics in Lean 2022
General:
Name: Loh C ProofLab A Short Introduction to Formalising Mathematics in Lean 2022
Format: pdf
Size: 316.49 KB
Book:
Title: ProofLab: Short Introduction to Lean, WS 21/22
Author: Clara Löh
Language: polski
Year: 9780
Subjects: N/A
Publisher: Wydawnictwo: Sage Publications Ltd.
ISBN: 9780761973041
Total pages: 55
Description:
Ta książka nie posiada jeszcze opisu.
Download from RapidGator
https://rapidgator.net/file/626e43fc3a21602237470be58c7e7cf8/5hqw6qav4s3p6r6o6x69h3.pdf