GitHub repository: kawikaoconnor/jla_marginis_submissions
Primary language: Lean
Created: 2024-07-03T21:53:26Z
Description: Submissions to the Marginis of the Journal of Logic and Analysis. Short theorems/results formalized in Lean.