---
format: "aidr-story-markdown/v1"
id: "25381eefa195620d55bdf99e1585115dfefe0eddc68935f3af2e29b32c693417"
canonical_url: "https://aidr.today/25381eef?lang=en"
title: "noperts: Reproducible proofs of non-Rupert polyhedra"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-12T19:08:08.000Z"
category: "Open Source"
topics: ["open-source"]
source_urls: ["https://github.com/tom7/noperts","https://lobste.rs/s/gfviyc/noperts_reproducible_proofs_non_rupert"]
summary: "The noperts project provides reproducible proofs of non-Rupert polyhedra and is hosted on GitHub under the tom7/noperts repository."
---

# noperts: Reproducible proofs of non\-Rupert polyhedra

> [Open the canonical story](<https://aidr.today/25381eef?lang=en>)

**Published:** 2026-10-12T19:08:08.000Z
**Category:** Open Source
**Topics:** open\-source

## Summary

The noperts project provides reproducible proofs of non\-Rupert polyhedra and is hosted on GitHub under the tom7/noperts repository\.

## Sources

- [Story source](<https://github.com/tom7/noperts>)
- [Discussion](<https://lobste.rs/s/gfviyc/noperts_reproducible_proofs_non_rupert>)