Tags

#algebra 1 #basic 2 #combinatorics 3 #compilers 1 #europe 1 #formal-verification 1 #incomplete 1 #instrumentation 1 #Jolt 9 #lean 5 #lists 1 #monads 4 #montgomery-multiplication 1 #montgomery-mults 2 #music 1 #proof-complexity 3 #python 1 #slovenia 1 #streaming 1 #sumcheck 4 #tooling 1 #type classes 1