Topics in ~science - Tildes

Showing only topics in ~science with the tag "source.github". Back to normal view / Search all groups

Proving that SU(2) is compact (and other group theory bits)
- mathematics
Article 1126 words
1 comment

ajsteinmetz.github.io

November 7

2 votes
Can we ever detect the graviton? (No, but why not?)
- physics.particle
Article 944 words, published Oct 16 2024
20 comments

ajsteinmetz.github.io

October 20

26 votes
New Foundations is consistent - a difficult mathematical proof proved computationally using Lean
- mathematics
Article 933 words
1 comment

leanprover-community.github.io

April 22

10 votes