GitHub repository: lephe/lean4-rewriting
Primary language: Lean
Created: 2022-10-04T21:03:00Z
Description: Tests around generalized rewriting in Lean 4.