GitHub repository: kevinsullivan/phys
Primary language: Lean
Description: Simple affine 1-space and various physical space clients in Lean (Lean Prover)