GitHub repository: 18jesorkin/lean4-nbe
Primary language: HTML
Created: 2025-01-08T18:33:20Z
Description: Implementation of Normalization-By-Evaluation in Lean4