]> 2024-03-29T15:34:49+00:00 Automated Theorem Proving Task 0 en 2023-01-06T02:30:38Z 2459950.6046065 Automated Theorem Proving Task formal theorem proving 0 en formal theorem proving REDI 102 en REDI