finalcoalgebra

5 ms·

1. 1.▲
   by finalcoalgebra 1mo ago

   Wild to read this about your sleep pattern. Please explain more. I find myself needing to sleep like 12+ hours every day.
2. 2.▲
   Automatically Translating Proof Systems for SMT Solvers to the λΠ-Calculus [pdf](ciaran-matthew-dunne.github.io)

   1 points by finalcoalgebra 7mo ago|1 comments
3. 3.▲
   by finalcoalgebra 7mo ago

   Eunoia is an emerging logical framework for specifying the proofs and proof systems of SMT solvers, namely CVC5. We present a translation from Eunoia to the λΠ-calculus modulo rewriting as implemented by the LambdaPi proof assistant. The tr