PinnedLoading

1. leanprover/lean-actionleanprover/lean-actionPublic

   GitHub action for standard CI in Lean projects

   Shell 24 9

2. SorryDB/SorryDBSorryDB/SorryDBPublic

   SorryDB indexes sorries in public lean repositories

   Python 37 7

3. lean4lean4Public

   Forked fromleanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

4. airflowairflowPublic

   Forked fromapache/airflow

   Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

   Python