Skip to content
View chanind's full-sized avatar
340 followers · 24 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx4Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Highlights

  • Pro

Organizations

@steering-vectors

Block or report chanind

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Stars

6 stars written in Lean
Clear filter

ImperialCollegeLondon / natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean 303 71 Updated Mar 9, 2024

argumentcomputer / LSpec

A Testing Framework for Lean

Lean 72 15 Updated Jan 28, 2026

mmasdeu / topologygame

Learn Lean and topology

Lean 26 2 Updated Apr 28, 2023

leanprover-community / mathlib-changelog

Lean 14 Updated Feb 3, 2026

Vilin97 / linear-algebra-done-right

Lean 12 Updated Jun 30, 2022

TateKennington / logic-and-proof-exercises

The exercises from the book "Logic and Proof" in Lean

Lean 2 Updated Jul 21, 2021