C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
LISA - A Modern Proof System.
Simon Guilloud
Sankalp Gambhir
Viktor Kuncak
Published in:
ITP (2023)
Keyphrases
</>
modal logic
intuitionistic logic
search engine
data mining
artificial intelligence
temporal logic
linear time temporal logic