Explore

max/ mathlib4

My fork of https://github.com/leanprover-community/mathlib4. Currently working on computability theory, trying to formalize the P and NP classes and proving some facts about them. See my notes at https://pad.abstractnonsen.se/mathlib-computability for "documentation / progress" of what I'm doing.

Updated 2025-12-05 19:13:34 +01:00

arch/ python-loopialib

Shell 0 0

Updated 2025-12-05 19:04:29 +01:00

arch/ python-certbot-dns-loopia

Shell 0 0

Updated 2025-12-05 19:03:04 +01:00

GithubMirrors/ LeanCourse25

Lean 0 1

This mirrors and automatically synsc the upstream files for the Lean Course taught my Prof. Floris van Doorn and Michael Rothgang at the University of Bonn in the winter term 25/26. For my (and my exercise partner's) own notes / solutions of sheets / etc, check out this fork

Updated 2025-12-05 13:36:35 +01:00

max-notes/ LeanCourse25

Lean 0 0

Fork of the lecture files for the Lean Course taught my Prof. Floris van Doorn and Michael Rothgang at the University of Bonn in the winter term 25/26. This repository contains @Flo and my own notes / solutions of sheets / etc.

Updated 2025-12-04 10:17:22 +01:00

actions/ checkout

TypeScript 0 0

Mirror of https://github.com/actions/checkout

Updated 2025-12-02 03:08:49 +01:00

Hanabi/ Endgame-Analyzer

C++ 0 0

Dynamic program to solve Hanabi endgame optimally (assuming people know their cards but not the draw pile)

Updated 2025-11-25 01:50:00 +01:00

abstractnonsense/ loopia-dynamic-dns

Python 0 0

Updated 2025-11-24 12:47:33 +01:00