Toccata

Formally Verified Programs, Certified Tools and Numerical Computations

• Home
• Members
• Software
  • Software
  • Gallery of verified programs
• Projects
• Publications
• Jobs

see also the index (by topic, by tool, by reference, by year)

Christine Paulin-Mohring

http://www.lri.fr/~paulin/

• Defining Bernoulli and Binomial distributions from flip
• Termination of a random walk

see also the index (by topic, by tool, by reference, by year)