Skip to content
View LiamSchilling's full-sized avatar
3 followers · 3 following

Block or report LiamSchilling

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Lean-TowerOfHanoi Lean-TowerOfHanoi Public

    formalization of the Tower of Hanoi game

    Lean

  2. AutomatePolynomial AutomatePolynomial Public

    proof by reflection for Mathlib polynomials

    Lean 4

  3. tonyqug/QueryDeck tonyqug/QueryDeck Public

    TypeScript