Search results

Equations <code>tProj</code> issue

Status: Open.

#51 In AU-COBRA/coq-rust-extraction;

· wrsturgeon opened on Apr 11, 2025

Soft Question: How to setup a dev environment for reading?

Status: Open.

#38 In AU-COBRA/coq-rust-extraction;

· BlastWind opened on Oct 3, 2024

Agda to rust

Status: Open.

#21 In AU-COBRA/coq-rust-extraction;

· spitters opened on Apr 6, 2024

Consider being even more ridiculously leaky

Status: Open.

#20 In AU-COBRA/coq-rust-extraction;

· workingjubilee opened on Mar 19, 2024

Consider emitting <code>unreachable!()</code> for absurd cases

Status: Open.

#19 In AU-COBRA/coq-rust-extraction;

· workingjubilee opened on Mar 19, 2024

Closures probably not that less efficient

Status: Open.

#18 In AU-COBRA/coq-rust-extraction;

· workingjubilee opened on Mar 19, 2024

Peano encoding probably bad

Status: Open.

#17 In AU-COBRA/coq-rust-extraction;

· workingjubilee opened on Mar 19, 2024

Generated rust code doesn't compile

Status: Open.

#16 In AU-COBRA/coq-rust-extraction;

· womeier opened on Mar 18, 2024

Support records with primitive projections

type: enhancementEnhancement to an existing featureEnhancement to an existing feature

Status: Open.

#8 In AU-COBRA/coq-rust-extraction;

· annenkov opened on Mar 29, 2021