Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    Jakob von Raumer
    @javra
    booh!
    Sebastian Ullrich
    @Kha
    faints
    Restioson
    @Restioson
    hi
    Sebastian Ullrich
    @Kha
    Hey!
    Restioson
    @Restioson
    Now I wanna learn lean so I can use dis
    Sebastian Ullrich
    @Kha
    Sounds like a great idea to me :D . Though I still haven't ported it from Lean 2 to Lean 3...
    Restioson
    @Restioson
    Ah OK. I don't have any formal background in functional programming, or any programming theory for that matter ... Wish me luck lol
    What's the difference between lean 2 and 3?
    Also, why specifically lean?
    Restioson
    @Restioson
    I.e why did you choose it
    Sebastian Ullrich
    @Kha
    That's hard to answer without going into details. But I think it's fair to say that Lean may be the most exciting and promising interactive theorem prover right now.
    Restioson
    @Restioson
    ah ok
    Finally back at pc, let me look @ lean now :)
    Restioson
    @Restioson
    Was just wondering, how long has it been since the rust nightly version was updated?
    Reto Trinkler
    @retotrinkler
    Hi
    Restioson
    @Restioson
    O/