Search results

output of theorems should be lazy, but is not, because of alignment

enhancement

Status: Open.

#10 In rudymatela/speculate;

· jwaldmann opened on Mar 1, 2021

Incorrect equations when size limit is increased.

enhancement

Status: Open.

#3 In rudymatela/speculate;

· rudymatela opened on Sep 11, 2017

Speculate on DejaFu: speculate: could not find Listable Thread D1 D1

bug

Status: Open.

#2 In rudymatela/speculate;

· rudymatela opened on Sep 11, 2017