Search results

Change heading color on light mode

Status: Open.

Enhancement

#112 In 0xMiden/miden-docs;

· Keinberger opened on Dec 29, 2025

Typo and 404 link on intro page

Status: Open.

#77 In 0xMiden/miden-docs;

· ngjupeng opened on Oct 31, 2025

Integrate plugin on all source repos to automatically check links

Status: Open.

#62 In 0xMiden/miden-docs;

· Keinberger opened on Sep 30, 2025

docs: fix 404 links

Status: Open.

#59 In 0xMiden/miden-docs;

· sunsakis opened on Sep 18, 2025

Custom playground to run examples from the book

Status: Open.

#54 In 0xMiden/miden-docs;

· mmagician opened on Aug 11, 2025

Consider renaming "miden-book" to miden-docs

Status: Open.

#49 In 0xMiden/miden-docs;

· partylikeits1983 opened on Jul 10, 2025