vix.ing
·
top
·
new
·
best
·
stats
·
spec
Post, Mark
Brownian Motion in Isabelle/HOL
2024/10/13 by
Laursen, Christian Pardillo
,
Foster, Simon
,
Post, Mark
· 1 citation
#FOS: Computer and information sciences
#Logic in Computer Science (cs.LO)