issues
search
bbchallenge
/
bbchallenge-proofs
Mathematical proofs of the bbchallenge project.
Creative Commons Attribution 4.0 International
16
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Bouncers] Lemma 7.16, proof case 2, help the reader understand why the HP of Lemma 7.15 applies
#31
tcosmo
opened
5 months ago
2
Implement savask second feedback
#30
tcosmo
closed
5 months ago
0
Write proper introductory material about BB, with a proper attribution of BB5's history (currently only SA is credited, which is wrong)
#29
tcosmo
opened
5 months ago
0
Tighten up the indexing in th:bouncers.
#28
UncombedCoconut
closed
5 months ago
0
Bouncers
#27
tcosmo
closed
5 months ago
0
Attempt to be precise about vdash * vs + - based on previous PR.
#26
UncombedCoconut
closed
5 months ago
0
Edits to "Bouncers" (see commit messages).
#25
UncombedCoconut
closed
5 months ago
0
Subjective: I think this clarifies the usual case of |- for formula tapes…
#24
UncombedCoconut
closed
5 months ago
0
nit-picking
#23
UncombedCoconut
closed
5 months ago
0
Re-formulate the greedy Fit-FormulaTape using slicing, so that…
#22
UncombedCoconut
closed
5 months ago
0
Suggested phrasing changes.
#21
UncombedCoconut
closed
5 months ago
0
Add action to build pdf
#20
int-y1
closed
6 months ago
1
Use capital letters for state
#19
int-y1
closed
10 months ago
0
Fix typos for FAR
#18
int-y1
closed
8 months ago
2
Fix typos in halting segment
#17
int-y1
closed
10 months ago
1
Clean up section on backward reasoning
#16
int-y1
closed
10 months ago
1
Improve the use of newpage
#15
int-y1
closed
11 months ago
3
Clean up section on translated cyclers
#14
int-y1
closed
11 months ago
2
Clean up section on cyclers
#13
int-y1
closed
11 months ago
4
Change numbering system
#12
tcosmo
closed
1 year ago
0
Meithecatte theoremstyle
#11
tcosmo
closed
1 year ago
0
Fix URLs of some machines
#10
meithecatte
closed
1 year ago
0
Use \theoremstyle to avoid repeating \normalfont everywhere
#9
meithecatte
closed
1 year ago
0
RFC: a more rigorous proof style for algorithm correctness
#8
meithecatte
closed
1 year ago
1
Shawn's Comments
#7
sligocki
closed
1 year ago
6
Substitute "forever" for "for ever" (as suggested by bt in Discord).
#6
UncombedCoconut
closed
1 year ago
0
Compiled Discord feedback on decider-finite-automata-reduction (and a few overall)
#5
UncombedCoconut
opened
1 year ago
1
Finite automata reduction
#4
UncombedCoconut
closed
1 year ago
0
Halting segment
#3
tcosmo
closed
1 year ago
0
Proof for finite-automata-reduction.
#2
UncombedCoconut
closed
1 year ago
2
typo fix
#1
UncombedCoconut
closed
1 year ago
0