GitHub repository: lambda-feedback/compareLeanTest
Primary language: Lean
Description: A simple evaluation function written in Lean 4