Isabelle教程“编程和证明”中的练习，以及D.Velleman的“如何证明”中一些练习的形式化，
Exercises from Isabelle tutorial "Programming and proving" and formalization of some exercises in "How to prove it" by D. Velleman, (2023-10-26, Isabelle, 0KB, 下载0次)
一个存储库，用于展示我对Isabelle数学校对编程语言的知识，并继续学习该语言。，
A repository for showcasing my knowledge of the Isabelle Mathematical Proofing Programming language, and continuing to learn the language., (2022-04-23, Isabelle, 0KB, 下载0次)
“Isabelle HOL中的编程和证明”练习的解决方案，
Solutions to the exercises in "Programming and Proving in Isabelle HOL", (2022-01-30, Isabelle, 0KB, 下载0次)
SNU编程工具的Isabelle证明辅助语言IDE子模块（2D模式），
The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode), (2022-10-04, Isabelle, 0KB, 下载0次)
Isabelle HOL《函数编程与证明》一书的来源，
Isabelle HOL sources for the book "Functional Programming and Proof", (2021-10-01, Isabelle, 0KB, 下载0次)
Hoare和Hes的统一编程理论在Isabelle中的实现，
An implementation of Hoare and He s Unifying Theories of Programming in Isabelle, (2023-02-09, Isabelle, 0KB, 下载0次)