search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.04k stars 237 forks source link

Fix item in triangular number sequence #277

Closed elacuesta closed 3 years ago

elacuesta commented 3 years ago

Source: https://oeis.org/A000217

rzach commented 3 years ago

Thanks!