Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / agentultra/lean-for-hackers issues and pull requests

#6 - Fix typo number guess example

Pull Request - State: open - Opened by oxarbitrage almost 2 years ago

#5 - Problems in the random number guessing game code

Issue - State: open - Opened by oxarbitrage over 2 years ago - 3 comments

#4 - More lean programming tutorial

Issue - State: open - Opened by wiio12 over 2 years ago - 2 comments

#3 - nat.to_string

Issue - State: closed - Opened by arademaker almost 4 years ago - 1 comment

#2 - Update index.md

Pull Request - State: closed - Opened by cipher1024 almost 5 years ago - 1 comment

#1 - running Lean from the command line

Issue - State: closed - Opened by cipher1024 almost 5 years ago - 1 comment