GitHub repository: 0Art0/WZ
Primary language: Lean
Created: 2021-07-12T18:18:58Z
Description: Implementation of the Gosper algorithm (an essential component of the WZ algorithm) and formalisation of the WZ theorem in LEAN.