rkirovjordan_pick0.1.0

#math
Displaying 1-1 of 1 packages depending on rkirov/jordan_pick
Sort by

  1. deancureton/MovingSofausesb3c9b7c

    Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal