Skip to content
View mich256's full-sized avatar
3 followers · 2 following

Sponsoring

@sagemath
@Homebrew

Achievements

Achievement: Public Sponsor

Achievements

Achievement: Public Sponsor

Block or report mich256

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

lean-dojo / LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

Python 121 15 Updated Apr 4, 2024

lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

C++ 1,114 102 Updated Jun 27, 2025

Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Macaulay2 373 254 Updated Jun 28, 2025

sagemath / sage

Main repository of SageMath

Python 1,843 629 Updated Jun 30, 2025

mitmath / 18338

Jupyter Notebook 100 23 Updated Jun 11, 2025