bollu/lean-to

Issues

• Can't make

  #4 opened 2 years ago by icarosadero
  0

• Port Lean4 blog series to Jupyter

  #3 opened 2 years ago by bollu
  0

• Add support for writing proofs?

  #2 opened 2 years ago by bollu
  0

• Add support for LeanInk/Alectryon for interacting with proofs

  #1 opened 2 years ago by bollu
  0