git.pablopie.xyz
a-conjecture-of-mine
An exercise on polyglossy: the same problem solved on multiple languages
git clone:
git://git.pablopie.xyz/a-conjecture-of-mine
Log
Files
Refs
raw file (blob)
proof.pdf (22618B)
Binary file