GitHub repository: palutz/lean4_intro
Primary language: Lean
Created: 2022-04-21T15:42:24Z
Description: Playing with FV in Lean4