This website works better with JavaScript
Почетна
Преглед
Помоћ
Пријавите се
tmgurtler
/
PRSONA
Прати
1
Волим
0
Креирај огранак
0
Датотеке
Дискусије
0
Захтеви за спајање
0
Вики
Дрво:
da32b7a842
Гране
Ознаке
master
Историја ревизија
Пронађи
Аутор
SHA1
Порука
Датум
tristangurtler
da32b7a842
minor changes that lead to ~30% reduction in proof time
пре 3 година
tristangurtler
373a1adbae
I don't know what it is, but approximately 3% of the time, there is a bug that causes proofs to fail. Otherwise, I'm adding networking code now
пре 3 година