Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — Kha - Overview

Kha Follow

More

Kha

Follow

Sebastian Ullrich Kha

Follow

375 followers · 9 following

Lean FRO
Munich, Germany
14:33 (UTC +01:00)
@[email protected]

Sponsoring

Achievements

Achievement: Starstruck

Achievement: Pair Extraordinaire

Achievement: Pull Shark

Achievement: Public Sponsor

Achievement: Quickdraw

Achievement: YOLO

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruck

Achievement: Pair Extraordinaire

Achievement: Pull Shark

Achievement: Public Sponsor

Achievement: Quickdraw

Achievement: YOLO

Achievement: Arctic Code Vault Contributor

Organizations

More

Pinned Loading

leanprover/lean4 leanprover/lean4 Public

Lean 4 programming language and theorem prover

Lean 10k 1.1k
electrolysis electrolysis Public archive

Simple verification of Rust programs via functional purification in Lean 2(!)

Lean 342 8
leanprover/elan leanprover/elan Public

The Lean version manager

Rust 679 61
nixprof nixprof Public

A Nix build graph profiler

Python 43 4

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.