leanprover / lean-actionLinks

GitHub action for standard CI in Lean projects
20Updated last week

Alternatives and similar repositories for lean-action

Users that are interested in lean-action are comparing it to the libraries listed below

Sorting: