8000 GitHub - nomeata/leaning-in-2025
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

nomeata/leaning-in-2025

Repository files navigation

Recursive Definition in Lean

This repo contains the material presented by Joachim Breitner at the “Leaning in 2025” workshop in Berlin.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

0