A formalization of synthetic algebraic geometry in Agda

Agda as a collaborative multiplayer game

Resources of deep learning for mathematical reasoning (DL4MATH).

Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise descriptions to help readers g…

Functionality for apparent diffusion coefficient (ADC) map and computed high b-value diffusion-weighted (DWI) magnetic resonance image (MRI) generation.

Agda library for the course PCC116 - Logics in Computer Science

Formalizing normalization algorithms

Formalisation of a type unification algorithm in Coq proof assistant.

Miller/pattern unification in Agda

AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)

Swift bare-bones unification framework

Swift unification framework for logic programming

Yet Another Efficient Unification Algorithm

Unification and type inference algorithms

A small implementation of higher-order unification

Generic functions for single-sorted first-order structural unification

An enhanced unification algorithm for Coq

Straightforward unification in Python that's extensible via generic functions.

Unification library

Fuzzing Unification Framework

Categorical Semantics of Intuitionistic Multiplicative Linear Logic written in Isabelle/HOL

Syntactic unification algorithm in Haskell.

SimPro (Simple Prover) - With a Formalization in Isabelle

NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle

Formalization of First-Order Syntactic Unification

A crate to make drawing in a buffer of pixels easy!