Collapse file tree

Files

 main

Search this repository

/

confs

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

yangky11

minor update

success

Aug 23, 2024

903fac4 · Aug 23, 2024

History

History

Open commit details

/

confs

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
cli_dummy.yaml		cli_dummy.yaml	minor update	Aug 23, 2024
cli_lean4_novel_premises.yaml		cli_lean4_novel_premises.yaml	update	Jul 12, 2024
cli_lean4_random.yaml		cli_lean4_random.yaml	update	Jul 12, 2024
View all files