Skip to content
@funexists

Fun Exists

Popular repositories Loading

  1. coq-lean-cheatsheet coq-lean-cheatsheet Public

    A Cheat Sheet for Coq Developers who want to try LeanProver

    Lean 15

  2. raylean raylean Public

    Lean4 bindings for raylib

    C 11 4

  3. advertising-coq advertising-coq Public

    Presentation: Advertising Coq - Proving is Programming

    Coq 2

  4. ccc-talk ccc-talk Public

    Correct Code by Construction talk's code

    Makefile 2

  5. 2025-stellenbosch 2025-stellenbosch Public

    2025 The Little Typer Reading Group in Stellenbosch

    CSS 2

  6. funexists.github.io funexists.github.io Public

    CSS

Repositories

Showing 6 of 6 repositories
  • 2025-stellenbosch Public

    2025 The Little Typer Reading Group in Stellenbosch

    funexists/2025-stellenbosch’s past year of commit activity
    CSS 2 0 0 0 Updated Jan 14, 2025
  • funexists.github.io Public
    funexists/funexists.github.io’s past year of commit activity
    CSS 0 0 0 0 Updated Jan 11, 2025
  • raylean Public

    Lean4 bindings for raylib

    funexists/raylean’s past year of commit activity
    C 11 Zlib 4 0 0 Updated Dec 10, 2024
  • coq-lean-cheatsheet Public

    A Cheat Sheet for Coq Developers who want to try LeanProver

    funexists/coq-lean-cheatsheet’s past year of commit activity
    Lean 15 Apache-2.0 0 0 0 Updated Jul 25, 2023
  • ccc-talk Public

    Correct Code by Construction talk's code

    funexists/ccc-talk’s past year of commit activity
    Makefile 2 BSD-3-Clause 0 0 0 Updated May 8, 2023
  • advertising-coq Public

    Presentation: Advertising Coq - Proving is Programming

    funexists/advertising-coq’s past year of commit activity
    Coq 2 Apache-2.0 0 0 0 Updated Jun 18, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…