generated from lambda-feedback/evaluation-function-boilerplate-lean
-
Notifications
You must be signed in to change notification settings - Fork 0
lambda-feedback/compareLeanTest
About
A simple evaluation function written in Lean 4
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published