Ecosyste.ms: Issues

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

GitHub / imperialcollegelondon/complex-number-game issues and pull requests

#4 - Update to use Lean 3.48 & updated mathlib

Pull Request - State: open - Opened by arienmalec over 2 years ago

#3 - Typos

Issue - State: open - Opened by adomani about 4 years ago

#2 - Add level numbers to file names

Issue - State: closed - Opened by pglutz over 4 years ago - 1 comment

#1 - nlinarith

Issue - State: open - Opened by kbuzzard over 4 years ago - 1 comment