Search
for Author
All Reviews
Łukasz, Czajka
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Hammer for Coq: automation for dependent type theory
Czajka Ł., Kaliszyk C. Journal of Automated Reasoning 61(1-4): 423-453, 2018. Type: Article
Interactive theorem proving is today seeing an explosion of use similar to what computer algebra systems (CASs) saw in the late 1980s. But there is another aspect to mathematics that CASs do not do: reasoning and proofs....
...
Jan 3 2019
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy