Pinned Loading
Repositories
Showing 10 of 52 repositories
- code-workout-ml Public
- medvedev-lean Public Forked from Haptism89/medvedev-lean
Lean 4 formalization of 'Medvedev Logic is Π⁰₁-Complete' (Pawłowski)
- code-workout-dlp Public
- project-ml Public
- code-workout-datasci Public
- code-workout-python Public
- copilot-cli-for-beginners Public Forked from github/copilot-cli-for-beginners
Learn how to get started using the GitHub Copilot CLI!
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…