Where communities thrive

  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
Repo info
    Matthew Wilson
    @np hehe
    Nicolas Pouillard
    @diakopter is your emacs mode working now?
    Nicolas Pouillard
    Hi @lron
    One reference for probas in Coq is the ALEA library https://www.lri.fr/~paulin/ALEA/
    let's move the main crypto-agda channel