lawrencecpaulson lawrencecpaulson.github.io issues

lawrencecpaulson / lawrencecpaulson.github.io

the blog "Machine Logic"

12 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

https://lawrencecpaulson.github.io/2022/10/12/verifying-distributed-systems-isabelle.html

#45 utterances-bot opened 3 months ago
4
https://lawrencecpaulson.github.io/2024/02/28/Gowers_bijection_example.html

#44 utterances-bot opened 4 months ago
1
https://lawrencecpaulson.github.io/2024/02/14/Contradiction.html

#43 utterances-bot opened 4 months ago
1
https://lawrencecpaulson.github.io/2024/01/31/Russells_Paradox.html

#42 utterances-bot opened 5 months ago
5
Fix tiny typo

#41 dogsleg closed 5 months ago
1
https://lawrencecpaulson.github.io/2021/10/20/Fib-example-contd.html

#40 utterances-bot opened 6 months ago
2
https://lawrencecpaulson.github.io/2023/11/01/Foundations.html

#39 utterances-bot opened 8 months ago
3
https://lawrencecpaulson.github.io/2023/10/04/Ochigame.html

#38 utterances-bot opened 9 months ago
5
https://lawrencecpaulson.github.io/2023/08/23/Propositions_as_Types.html

#37 utterances-bot opened 10 months ago
4
https://lawrencecpaulson.github.io/2023/08/09/computer_proof.html

#36 utterances-bot opened 11 months ago
5
fix a couple of typos

#35 ssb22 closed 1 year ago
1
https://lawrencecpaulson.github.io/2023/04/12/Wittgenstein.html

#34 utterances-bot opened 1 year ago
3
Fix a couple more typos

#33 ssb22 closed 1 year ago
0
https://lawrencecpaulson.github.io/2023/03/08/Fun_Semantics.html

#32 utterances-bot opened 1 year ago
10
Fix a couple of minor typos

#31 ssb22 closed 1 year ago
0
https://lawrencecpaulson.github.io/2023/02/22/Binary_GCD.html

#30 utterances-bot opened 1 year ago
5
https://lawrencecpaulson.github.io/2022/08/31/Ackermann-not-PR-I.html

#29 utterances-bot opened 1 year ago
2
https://lawrencecpaulson.github.io/2023/01/11/AI_at_Stanford.html

#28 utterances-bot opened 1 year ago
1
https://lawrencecpaulson.github.io/2022/12/14/User_interfaces.html

#27 utterances-bot opened 1 year ago
3
https://lawrencecpaulson.github.io/2022/11/23/CTT_in_Isabelle.html

#26 utterances-bot opened 1 year ago
4
fix another typo

#25 ssb22 closed 1 year ago
0
remove surplus control character that was generating invalid XML in feeds

#24 ssb22 closed 1 year ago
0
https://lawrencecpaulson.github.io/2022/10/19/crypto-protocols.html

#23 utterances-bot opened 1 year ago
3
https://lawrencecpaulson.github.io/2022/10/05/Standard_ML.html

#22 utterances-bot opened 1 year ago
3
https://lawrencecpaulson.github.io/2022/09/14/Libraries.html

#21 utterances-bot opened 1 year ago
3
fix a couple of typos

#20 ssb22 closed 1 year ago
1
https://lawrencecpaulson.github.io/2022/08/17/Gordon-BDDs-HOL.html

#19 utterances-bot opened 1 year ago
3
https://lawrencecpaulson.github.io/2022/08/10/Nonstandard_Analysis.html

#18 utterances-bot opened 1 year ago
4
https://lawrencecpaulson.github.io/2022/07/13/Isabelle_influences.html

#17 utterances-bot opened 1 year ago
4
https://lawrencecpaulson.github.io/2022/07/06/Turing_Machines.html

#16 utterances-bot opened 2 years ago
1
https://lawrencecpaulson.github.io/2022/06/22/Why-formalise.html

#15 utterances-bot opened 2 years ago
1
https://lawrencecpaulson.github.io/2022/05/11/jEdit-tricks.html

#14 utterances-bot opened 2 years ago
1
https://lawrencecpaulson.github.io/2022/05/04/baby-examples.html

#13 utterances-bot opened 2 years ago
3
https://lawrencecpaulson.github.io/2022/04/20/Why-constructive.html

#12 utterances-bot opened 2 years ago
7
https://lawrencecpaulson.github.io/2022/04/06/ZFC_in_HOL.html

#11 utterances-bot opened 2 years ago
4
https://lawrencecpaulson.github.io/2022/03/30/Quotienting.html

#10 utterances-bot opened 2 years ago
1
https://lawrencecpaulson.github.io/2022/03/16/Types_vs_Sets.html

#9 utterances-bot opened 2 years ago
9
https://lawrencecpaulson.github.io/2022/01/12/Proving-the-obvious.html

#8 utterances-bot opened 2 years ago
2
https://lawrencecpaulson.github.io/2022/01/26/Set_theory.html

#7 utterances-bot opened 2 years ago
3
https://lawrencecpaulson.github.io/2022/01/05/LCF.html

#6 utterances-bot opened 2 years ago
3
https://lawrencecpaulson.github.io/2021/12/01/Undefined.html

#5 utterances-bot opened 2 years ago
1
https://lawrencecpaulson.github.io/2021/10/13/Fib-example.html

#4 utterances-bot opened 2 years ago
0
fix typo

#2 ssb22 closed 2 years ago
1
https://lawrencecpaulson.github.io/2021/11/24/Intuitionism.html

#1 utterances-bot opened 2 years ago
7