lattice-theory

Here are 5 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

co-nlang / nlang-spec

Star

🌌 The Ouroboros Code: Formal specifications for n/, a data-centric, lattice-based declarative language. Data ≅ Type ≅ Logic. Truth is the point of convergence.

programming-language declarative category-theory formal-verification content-addressable lattice-theory nlang semantic-os n-slash