Giters
Phil Pützstück (philpuetzstueck)

philpuetzstueck

Geek Repo

6

followers

4

following

6

stars

Location:Germany

Github PK Tool:Github PK Tool

Phil Pützstück's starred repositories

AT1

Typed lecture notes for the course Algebraic Topology I at the University of Bonn, taught by Prof. Stefan Schwede during the winter semester 21/22.

Language:TeXStargazers:8Issues:0Issues:0

maths-dictionary

multilingual dictionary of mathematical terminology

Language:JavaScriptLicense:GPL-3.0Stargazers:19Issues:0Issues:0

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanLicense:Apache-2.0Stargazers:1665Issues:0Issues:0

lean3

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:2146Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4471Issues:0Issues:0

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

Language:GAPLicense:GPL-2.0Stargazers:799Issues:0Issues:0