Skip to content
View jakeswenson's full-sized avatar
🏠
Working from home
🏠
Working from home
75 followers · 117 following

Achievements

Achievement: YOLOAchievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report jakeswenson

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

Lean

8 repositories

argumentcomputer / LSpec

A Testing Framework for Lean

Lean 69 14 Updated Dec 22, 2025

PatrickMassot / GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Lean 320 116 Updated Dec 8, 2025

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 7,120 733 Updated Jan 18, 2026

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Lean 353 133 Updated Jan 17, 2026

leanprover / lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

Lean 94 22 Updated Dec 14, 2025

leanprover-community / llm

Interfacing with Large Language Models (remote and local) from Lean.

Lean 28 2 Updated Jul 15, 2024

NathanHowell / lean-argparse

Lean 2 Updated Sep 28, 2025

NathanHowell / lean-kit

Lean 1 Updated Sep 24, 2025