#
🐞
Highlights
- Pro
Block or Report
Block or report Qubasa
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage: Lean
Sort by: Most stars
Starred repositories
1
result
for source starred repositories
written in Lean
Clear filter
Lean 4 programming language and theorem prover