|
|
|
|
|
|
by HerrmannM
2434 days ago
|
|
|
A tricky beast indeed!
No, the formal proof is a work in progress, so I'm also looking for counter-examples. And since posting on hackernews, someone found some problems (thank you so much Ekdohibs). However, there is for sure an implementation issue so they do not count as counter-examples yet. I'll investigate and fix that asap, then we'll see... |
|
|