#1658 of 3539 in Artificial Intelligence (All Time)
(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs
Congratulate the authors
Know the authors? Send them a congratulation.
Know the authors? Send them a congratulation.