Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Formalisation of Mathematics"”.
-
Formalising Combinatorial Structures and Proof Techniques in Isabelle/HOL
The formalisation of mathematics is an area of increasing interest, enabling us to verify correctness, gain deeper insight into proofs, and benefit from advances in automation and search. The remarkable growth over the last decade in proof assistant capabilities and advanced formal mathematical …