Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    Matthew Wilson
    @diakopter
    @np hehe
    Nicolas Pouillard
    @np
    @diakopter is your emacs mode working now?
    Nicolas Pouillard
    @np
    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