Sponsor of the Day:
Jerkmate
https://isa-afp.org/entries/Graph_Theory.html
Graph Theory - Archive of Formal Proofs
Graph Theory in the Archive of Formal Proofs
graph theoryformal proofsarchive
https://isa-afp.org/entries/SenSocialChoice.html
Some classical results in Social Choice Theory - Archive of Formal Proofs
Some classical results in Social Choice Theory in the Archive of Formal Proofs
social choicetheory archiveformal proofsclassicalresults
https://hal.science/hal-05556825v1
Infrared physics of QED and gravity from representation theory - Archive ouverte HAL
The infrared structure of QED and gravity is known to be governed by an infinite-dimensional symmetry group which extends the Poincaré group to include,...
archive ouverte halrepresentation theoryinfraredphysicsqed
https://isa-afp.org/entries/Knot_Theory.html
Knot Theory - Archive of Formal Proofs
Knot Theory in the Archive of Formal Proofs
knot theoryformal proofsarchive
https://www.isa-afp.org/entries/AOT.html
Abstract Object Theory - Archive of Formal Proofs
Abstract Object Theory in the Archive of Formal Proofs
theory archiveformal proofsabstractobject