GitHub repository: todbeibrot/Lean-Oscar
Primary language: Lean
Created: 2024-04-05T21:09:53Z
Description: An interface between Lean4 and Oscar.