#
lf
Here are 113 public repositories matching this topic...
Contextual types meet mechanized metatheory!
-
Updated
Sep 30, 2025 - OCaml
There are many dotfiles but these are mine
-
Updated
Nov 14, 2026 - Lua
Add this topic to your repo
To associate your repository with the lf topic, visit your repo's landing page and select "manage topics."