GitHub repository: mbarz6/ross_lean
Primary language: Lean
Created: 2022-07-13T01:43:01Z
Description: Ross in Lean