Liquid proof macros.

Henry Blanchette Niki Vazou Leonidas Lampropoulos

Published in: Haskell (2022)

Keyphrases

key features
theorem proving
real time
information retrieval
information systems
multi agent
data structure
boundary conditions
linear logic
logical rules
proof planning