MIZAR is a formal language that enables proof-checking. The most important applications of MIZAR today are playing the role of a proof assistant to support creating rigorous mathematics, in mathematics education, and in software and hardware verification.
So how much mathematics can you teach a computer?
skip to main |
skip to sidebar
Followers
About Me
- Harlow
- Widowed, living alone, in good health, Master's Degree in Mathematics, athiest, was an actuary. Have 3 daughters, 2 granddaughters, 1 great grandson, 1 great granddaughter. Grew up in a small midwestern town, descended from pioneers.
No comments:
Post a Comment