Repositories list

• 2025-stellenbosch

  Public
  2025 The Little Typer Reading Group in Stellenbosch

  CSS

  •0•2•0•0•Updated Jan 14, 2025Jan 14, 2025

• funexists.github.io

  Public
  CSS

  •0•0•0•0•Updated Jan 11, 2025Jan 11, 2025

• raylean

  Public
  Lean4 bindings for raylib

  raylibecslean+ 3punsgames-developmentlean4

  C

  •

  zlib License

  •4•11•0•0•Updated Dec 10, 2024Dec 10, 2024

• coq-lean-cheatsheet

  Public
  A Cheat Sheet for Coq Developers who want to try LeanProver

  Lean

  •

  Apache License 2.0

  •0•15•0•0•Updated Jul 25, 2023Jul 25, 2023

• ccc-talk

  Public
  Correct Code by Construction talk's code

  Makefile

  •

  BSD 3-Clause "New" or "Revised" License

  •0•2•0•0•Updated May 8, 2023May 8, 2023

• advertising-coq

  Public
  Presentation: Advertising Coq - Proving is Programming

  Coq

  •

  Apache License 2.0

  •0•2•0•0•Updated Jun 18, 2022Jun 18, 2022