Beast code in Giters

Jalex Stark's repositories

Language:Lean600

Language:Lean1 10

Hosts the website for mathlib and other Lean community infrastructure.

Language:CSSMIT100

Lean Theorem Prover

Language:C++Apache-2.0000

For code that i write while twitch streaming

Language:Lean010

Formalizations of problems from Canada/USA Mathcamp Qualifying Quizzes.

Language:Lean010

Lean mathematical components library

Language:LeanApache-2.0000

An exploratory project to make end-to-end training pipeline for a model combining a neural net and GBT in sequence.

GPL-3.0010

Language:HTML010

Formalization of the existence of sphere eversions

Language:TeX000