Proving a large class of identities involving Fibonacci and Lucas numbers
Primary LanguageHaskell
No issues in this repository yet.