Search results

I would like to join your team and contribute with my many years of experience and skills.

Status: Open.

#210 In msv-lab/modus;

· 0x0factor opened on Jul 5, 2024

SLD Resolution?

Status: Open.

#209 In msv-lab/modus;

· brurucy opened on Sep 17, 2023

Print a warning when there multiple minimal proofs

Status: Open.

#207 In msv-lab/modus;

· mechtaev opened on May 12, 2022

Outdated comment

Status: Open.

#206 In msv-lab/modus;

· maowtm opened on Apr 14, 2022

Should mention in the README.md to download protoc for M1

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#205 In msv-lab/modus;

· Foalfloater66 opened on Apr 12, 2022

Layer expression that creates no layers

proposal

Status: Open.

#201 In msv-lab/modus;

· mechtaev opened on Apr 7, 2022

<code>modus run</code>, <code>modus ls</code>, etc

Status: Open.

#195 In msv-lab/modus;

· maowtm opened on Mar 30, 2022

Types

proposal

Status: Open.

#193 In msv-lab/modus;

· thevirtuoso1973 opened on Mar 28, 2022

Proposal: Allow copying multiple files to the same destination via <code>(::)copy([...], dest)</code>

proposal

Status: Open.

#188 In msv-lab/modus;

· maowtm opened on Mar 26, 2022

Better Proof Highlighting

enhancementNew feature or requestNew feature or request

Status: Open.

#185 In msv-lab/modus;

· mechtaev opened on Mar 23, 2022

Fix hard-coded scratch image spec

Status: Open.

#183 In msv-lab/modus;

· maowtm opened on Mar 23, 2022

Stratified construction

Status: Open.

#179 In msv-lab/modus;

· mechtaev opened on Mar 22, 2022