mikael-bashir

mikael-bashir/compete-math

The official repository for Compete Math

2 good first / help-wanted issues · TeX · last activity Oct 2, 2026

0 stars 1 forks 0 watchers TeX

View on GitHub Website

2 Open Issues Need Help Last updated: Oct 2, 2026

Open Issues Need Help

View All on GitHub

Fix a typo and a wording choice on /about/leak 20 days ago

documentation good first issue difficulty: easy

mikael-bashir/compete-math

0

The official repository for Compete Math

TeX

Make the "Proof" dropdown on competemath.com/tengoku show working, copy-pasteable Lean 20 days ago

enhancement help wanted difficulty: hard

mikael-bashir/compete-math

0

The official repository for Compete Math

TeX