prog

[challenge] Inverse Factorial

15 2021-06-08 17:48: >>13
Undeniable proof that it actually does work for any positive integer: https://paste.textboard.org/3df10a35
16 2021-06-09 10:41 *: >>15
How do you prove the proof contains no flaws?
17 2021-06-09 11:36 *: >>16
Type checking!
22: VIP:

do not edit these