This website works better with JavaScript
Головна сторінка
Огляд
Довідка
Увійти
tmgurtler
/
PRSONA
Слідкувати
1
Зірка
0
Відгалуження
0
Файли
Проблеми
0
Запити на злиття
0
Wiki
Дерево:
d31afa1ca1
Гілки
Теги
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 роки тому