Category Archives: Formal Verification

Tips

Posted on October 4, 2026 by pingzhou.yuan1@gmail.com

How to instantiate a typeclass? Take CoeOut as an example : Continue reading →

Posted in Formal Verification | Leave a comment

Index

Posted on October 4, 2026 by pingzhou.yuan1@gmail.com

Notes from learning Lean and the Mathlib library. Mathematics in Lean Chapter 8: Basics Chapter 9: Groups and Rings Chapter 10: Linear Algebra Continue reading →

Posted in Formal Verification | Leave a comment

Practical_tips

Posted on September 28, 2026 by pingzhou.yuan1@gmail.com

How to instantiate a typeclass? Take CoeOut as an example : Continue reading →

Posted in Formal Verification | Leave a comment