lean-dojo LeanDojo General · Discussions · GitHub

Sort by: Latest activity

Categories

General Discussions

Chat about anything and everything here

You must be logged in to vote

Finetuing CodeLLaMA on LeanDojo

Some-random started Jul 4, 2023 in General

15
You must be logged in to vote

Why are the premises from the same file not listed as such?

josojo started Nov 3, 2023 in General · Closed

3
You must be logged in to vote

Project structure

josojo started Sep 23, 2023 in General

7
You must be logged in to vote

Execution errors

josojo started Sep 1, 2023 in General

13
You must be logged in to vote

Getting Intermediate States from Combined Tactics

AG161 started Jul 9, 2023 in General

9