Issues

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

  lecopivo/SciLean#62 · Filter by author nielsvoss opened on Jun 9, 2025
  2

• Domain projection in data_synth depends on association

  lecopivo/SciLean#57 · Filter by author lecopivo opened on Mar 20, 2025

• MLX backend

  lecopivo/SciLean#55 · Filter by author alok opened on Feb 4, 2025

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

  lecopivo/SciLean#52 · Filter by author Seasawher opened on Dec 22, 2024
  1

• README's old harmonic oscillator example was good

  lecopivo/SciLean#51 · Filter by author alok opened on Nov 30, 2024
  1

• MetaLCtxM and mvar depth

  lecopivo/SciLean#50 · Filter by author lecopivo opened on Nov 29, 2024

• How to reshape?

  lecopivo/SciLean#49 · Filter by author alok opened on Nov 23, 2024
  1

• MCMC as an application domain

  lecopivo/SciLean#46 · Filter by author reubenharry opened on Nov 3, 2024
  2

• LinearOrderedAddCommGroup instance for RealScalar

  lecopivo/SciLean#42 · Filter by author lecopivo opened on Aug 23, 2024
  1

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

  lecopivo/SciLean#41 · Filter by author tribbloid opened on Aug 12, 2024
  3

• PDE Support

  lecopivo/SciLean#39 · Filter by author Adarsh321123 opened on Jul 3, 2024
  4

• inconsistent range notation

  lecopivo/SciLean#37 · Filter by author Seasawher opened on Jun 14, 2024
  2

• if_pull tactic uses sorry

  lecopivo/SciLean#35 · Filter by author lecopivo opened on Apr 22, 2024

• fun_trans can't see through let bindings

  lecopivo/SciLean#34 · Filter by author lecopivo opened on Apr 22, 2024

• Wrong shapes generated or pretty-printed

  lecopivo/SciLean#31 · Filter by author alok opened on Jan 25, 2024

• replicate the really cool wavy hamiltonian pic at top and bottom

  lecopivo/SciLean#30 · Filter by author alok opened on Jan 18, 2024

• add lake install copy paste to top of readme

  lecopivo/SciLean#29 · Filter by author alok opened on Jan 18, 2024

• command to generate linear map

  enhancement
  lecopivo/SciLean#27 · Filter by author lecopivo opened on Nov 21, 2023

• ftrans applies incorrect rule

  lecopivo/SciLean#25 · Filter by author lecopivo opened on Oct 3, 2023

• #generate_revCDeriv generates incorrect name

  lecopivo/SciLean#24 · Filter by author lecopivo opened on Sep 26, 2023

• universe issues in semiAdjoint.pi_rule

  bug
  lecopivo/SciLean#21 · Filter by author lecopivo opened on Sep 8, 2023

• lsimp projection sees through let bindings

  lecopivo/SciLean#20 · Filter by author lecopivo opened on Sep 6, 2023
  2

• fprop and ftrans can't handle match statements

  bugfpropftrans
  lecopivo/SciLean#16 · Filter by author lecopivo opened on Aug 29, 2023
  1

• new attribute ftrans_unfold

  enhancementftrans
  lecopivo/SciLean#12 · Filter by author lecopivo opened on Aug 24, 2023

• Rules for not fully applied constants

  bugfpropftrans
  lecopivo/SciLean#9 · Filter by author lecopivo opened on Aug 21, 2023
  1