Exploring Formalisation A Primer In Human Readable Mathematics In Lean 3 With Examples From Simplicial Topology(1st Edition)
Authors:
Clara Loh
In Stock
Include with your book
Free shipping: April 30, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3031146484, 978-3031146480
Book publisher: Springer
Frequently Bought Together
Modern Mathematical Statistics With Applications - 3rd Edition
Jay L. Devore
ISBN: 3030551555, 9783030551551
$0 $50.00
Equivariant K Theory And Freeness Of Group Actions On C Algebras - 1987th Edition
N Christopher Phillips
ISBN: 3540182772, 978-3540182771
$0 $49.08
College Accounting A Career Approach - 13th edition
Cathy J. Scott
ISBN: 1337280569, 978-1337607773, 1337607770, 978-1337516525, 133751652X, 978-1337668026, 978-1337280563
$0 $179.95
Leadership That Works Strategies Skills And Secrets For Developing The Leader Within - 1st Edition
Dr Thomas Joseph
ISBN: B0CT8HGN5R, 979-8877323131
$0 $15.99
Morphological Models Of Random Structures - 1st Edition
Dominique Jeulin
ISBN: 3030754545, 978-3030754549
$0 $171.70
Singularities And Their Interaction With Geometry And Low Dimensional Topology In Honor Of Andras Nemethi - 1st Edition
Javier Fernandez De Bobadilla
ISBN: 3030619605, 978-3030619602
$0 $151.22