Picture for Alice Petrov

Alice Petrov

Automated Planning Techniques for Elementary Proofs in Abstract Algebra

Add code
Dec 11, 2023
Viaarxiv icon