Search results

Pattern matching in MM1

Status: Open.

#174 In digama0/mm0;

· GinoGiotto opened on Dec 19, 2025

Feature Request: Support for Unicode Greek Letters in Variable Identifiers

Status: Open.

#159 In digama0/mm0;

· aethesia opened on Dec 2, 2025

<code>have</code> tactic should perform disjoint variable checks

Status: Open.

#153 In digama0/mm0;

· aethesia opened on Oct 27, 2025

mm0-rs - building a proc main with compiler.mm1

Status: Open.

#152 In digama0/mm0;

· Downchuck opened on Aug 6, 2025

Error handling

Status: Open.

#125 In digama0/mm0;

· uniwuni opened on May 13, 2023

Automatically generate the MM0 file from the MM1 file

Status: Open.

#111 In digama0/mm0;

· segf00lt opened on Oct 26, 2022

Using SMT-prover to generate proof

Status: Open.

#80 In digama0/mm0;

· j123123 opened on Apr 29, 2021

mm0 for kotlin

Status: Open.

#78 In digama0/mm0;

· Lakedaemon opened on Apr 15, 2021

mm0-ification of set.mm

Status: Open.

#77 In digama0/mm0;

· Lakedaemon opened on Apr 1, 2021

mm1 import cycles don't fail nicely

Status: Open.

#49 In digama0/mm0;

· ammkrn opened on Nov 16, 2020

mm0-rs as a library

Status: Open.

#34 In digama0/mm0;

· digama0 opened on Aug 4, 2020