Search results

Setup instructions in README lead to "package 'scilean' was required as 'leanblas'"

Status: Open.

#62 In lecopivo/SciLean;

· nielsvoss opened on Jun 9, 2025

Domain projection in data_synth depends on association

Status: Open.

#57 In lecopivo/SciLean;

· lecopivo opened on Mar 20, 2025

MLX backend

Status: Open.

#55 In lecopivo/SciLean;

· alok opened on Feb 4, 2025

the outputs of ∂ ... rewrite_by fun_trans and ∂! are different

Status: Open.

#52 In lecopivo/SciLean;

· Seasawher opened on Dec 22, 2024

README's old harmonic oscillator example was good

Status: Open.

#51 In lecopivo/SciLean;

· alok opened on Nov 30, 2024

MetaLCtxM and mvar depth

Status: Open.

#50 In lecopivo/SciLean;

· lecopivo opened on Nov 29, 2024

How to reshape?

Status: Open.

#49 In lecopivo/SciLean;

· alok opened on Nov 23, 2024

MCMC as an application domain

Status: Open.

#46 In lecopivo/SciLean;

· reubenharry opened on Nov 3, 2024

LinearOrderedAddCommGroup instance for RealScalar

Status: Open.

#42 In lecopivo/SciLean;

· lecopivo opened on Aug 23, 2024

symbol lookup error, likely due to a stack overflow or a bug.

Status: Open.

#41 In lecopivo/SciLean;

· tribbloid opened on Aug 12, 2024

PDE Support

Status: Open.

#39 In lecopivo/SciLean;

· Adarsh321123 opened on Jul 3, 2024

inconsistent range notation

Status: Open.

#37 In lecopivo/SciLean;

· Seasawher opened on Jun 14, 2024