Skip to content
#

trivial-kernel

Star

Here is 1 public repository matching this topic...

AEjonanonymous / Einstein-Quasicrystals

Star 1

A Lean 4 Certified Proof of 3D Aperiodic Einstein Quasicrystals by Triviality of the Projection Kernel.

research mathematics discrete-mathematics computational-geometry formal-verification delaunay-triangulation discrete-geometry mathlib quasicrystal projection-matrix academic-research de-bruijn lean4 aperiodic-monotile quasicrystals einstein-tile hat-tiling interactive-theorem-prover meyer-set trivial-kernel
  • Updated Aug 10, 2026
  • C++

Improve this page

Add a description, image, and links to the trivial-kernel 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 trivial-kernel topic, visit your repo's landing page and select "manage topics."

Learn more