GitHub / thorimur 4 repositories

• Repositories 4
• Sort

  • Recently Pushed
  • Stars
  • Forks

thorimur/lean4 Fork of leanprover/lean4

Lean 4 programming language and theorem prover

Language: Lean - Size: 1.15 GB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

thorimur/KaTeX Fork of KaTeX/KaTeX

Fast math typesetting for the web.

Language: JavaScript - Size: 68.4 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

thorimur/vscode-lean4 Fork of leanprover/vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Language: TypeScript - Size: 7.09 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

thorimur/std4 Fork of leanprover/std4

Standard Library for Lean 4

Language: Lean - Size: 1.61 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

thorimur/mathlib4 Fork of leanprover-community/mathlib4

Contributing to mathlib4

Size: 2.13 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

thorimur/mathematica-garden

A growing collection of some Mathematica notebooks and packages I've written.

Language: Mathematica - Size: 20.8 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

thorimur/HoTTEST-Summer-School Fork of martinescardo/HoTTEST-Summer-School

HoTTEST Summer School materials

Language: TeX - Size: 97.2 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1

thorimur/agda Fork of agda/agda

Agda is a dependently typed programming language / interactive theorem prover.

Language: Haskell - Size: 130 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0