lattice-theory

Here are 4 public repositories matching this topic...

vijayphoenix / IITH-BTECH-Courses

IITH BTECH CSE all Courses' Codes and Assignments

reinforcement-learning computer-vision compiler eiffel dbms prolog image-processing operating-system numerical-methods representation-learning computer-architecture linear-optimization data-structures-and-algorithms computer-networks iith popl cool-compiler lattice-theory

Updated May 12, 2021
Jupyter Notebook

Abraxas1010 / padic-functional-decoupling

Star

P-adic Functional Decoupling — 28 theorems verified in Lean 4. Depth-truncation nuclei, ultrametric light cones, Hamiltonian conservation, bridges to Hossenfelder no-go and Miranda dynamics.

nucleus formal-verification p-adic mathlib ultrametric lean4 lattice-theory heyting-algebra

Updated Mar 14, 2026
Shell

tgymnich / Lattice

Star

💠 Playing around with some lattice theory in Swift

lattice-theory

Updated Nov 7, 2023
Swift

Chrasts / The-Congruence-Lattice-Problem-A-Historical-Survey

Star

A short historical survey of the Congruence Lattice Problem in lattice theory

mathematics lattice-theory congruence-lattice

Updated Mar 4, 2026

Improve this page

Add a description, image, and links to the lattice-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lattice-theory topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

lattice-theory

Here are 4 public repositories matching this topic...

vijayphoenix / IITH-BTECH-Courses

Abraxas1010 / padic-functional-decoupling

tgymnich / Lattice

Chrasts / The-Congruence-Lattice-Problem-A-Historical-Survey

Improve this page

Add this topic to your repo