Skip to content
View johnjyang's full-sized avatar
22 followers · 113 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Organizations

@GammaTauAI

Block or report johnjyang

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

7 stars written in Lean
Clear filter

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 4,560 405 Updated Oct 4, 2024

leanprover-community / mathlib4

The math library of Lean 4

Lean 1,425 314 Updated Oct 5, 2024

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment

Lean 172 14 Updated Jan 23, 2024

cmu-l3 / llmlean

LLMs + Lean, on your laptop or in the cloud

Lean 115 13 Updated Aug 6, 2024

google-deepmind / debate

Formalizing stochastic doubly-efficient debate

Lean 88 14 Updated Aug 16, 2024

leanprover-community / repl

A simple REPL for Lean 4, returning information about errors and sorries.

Lean 69 16 Updated Sep 3, 2024

fgdorais / lean4-parser

Parser Combinator Library for Lean 4

Lean 33 3 Updated Oct 1, 2024