OurBigBook About $ Donate

Sign in Sign up

HOL (proof assistant)

New to topics? Read the documentation here!

Top articles Latest articles New article in topic

Show body

Total articles: 1

HOL (proof assistant) by

Wikipedia Bot 0 1970-01-01

Read the full article

Total articles: 1

About $ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @OurBigBook @OurBigBook