4 ms·
A new proof assistant that will hopefully be more suitable for reinforcement learning than Lean - faster to typecheck and specialized apis for tree search
by Barraketh 8mo ago
A new proof assistant that will hopefully be more suitable for reinforcement learning than Lean - faster to typecheck and specialized apis for tree search