Name: Manuel Eberl
Type: User
Company: University of Innsbruck
Bio: Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.
Twitter: pruvisto
Location: Innsbruck
Blog: https://pruvisto.org
Manuel Eberl's Projects
The Top 100 Theorems in Isabelle
An Isabelle/HOL proof of the fact that the area of a circle is R²·π
A library of continued fractions in Isabelle/HOL
Algorithms for matchings in graphs in Haskell
Small, random mini-projects in Haskell
A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.
The Incredible Proof Machine
Send feedback mails to students automatically
A smörgåsbord of random Isabelle theories
New GCD.thy for Isabelle/HOL
A lightweight CGI-based paste bin written in Haskell
Small additions to Isabelle's Measure Theory library
A pure implementation of a fragment of Haskell's IO actions for testing purposes
The accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory".
Contributed solutions for the Proof Ground 2021 competition
Code generation for randomized algorithms in Isabelle
Proofs about Social Decision Schemes in Isabelle
A formalisation of Sturm's theorem in Isabelle with an executable decision procedure
Modern and extensible testing framework for Haskell
A simple term rewriting engine written in Haskell
manpages of folks at TUM
Verification of Machine Learning Practical Course