Henrik Böving hargoniX

• Lean FRO

• Munich, Germany
• 18:19 (UTC +01:00)

Pinned Loading

1. Lean 4 programming language and theorem prover

   Lean 7.5k 776

2. Peripheral access API for STM32H7 series microcontrollers

   Rust 284 122

3. Document Generator for Lean 4

   Lean 132 62

4. This package provides an interface and foundation for verified SAT reasoning

   Lean 56 8

5. My dotfiles, managed with dotdrop

   Vim Script 3 1

6. The Q superposition prover

   Rust 5