LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Lean

systemf-ln

Locally Nameless Representation of System F

LeanEmerging
GitHub
Stars
1
Forks
1
Contributors
2
Last push
1mo ago

Recent commits

Latest commits.

  • Rename operations and lemmas
    22839a8Potato Hatsue1mo ago
  • ln_norm tactic
    d1dff1ePotato Hatsue1mo ago
  • Remove aesop attrs
    f29e472Potato Hatsue1mo ago
  • pick_fresh tactic
    359f9ccPotato Hatsue1mo ago
  • apply_cofinite tactic
    084454ePotato Hatsue1mo ago
grind
cfff9acPotato Hatsue1mo ago
  • Done SN
    80f461ePotato Hatsue1mo ago
  • WIP
    7caf90cPotato Hatsue1mo ago
  • Top contributors

    Builders behind this project.

    berberman
    37 commits
    kmill
    1 commits