I usually go by Dana, but my full name is Bohdan Liesnikov 🇺🇦
Block or Report
Block or report liesnikov
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Lean
Sort by: Most stars
2
stars
written in Lean
Clear filter
Demo for high-performance type theory elaboration