AU-COBRA/coq-rust-extraction

Issues

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

  #38 opened a month ago by BlastWind
  1

• Agda to rust

  #21 opened 7 months ago by spitters
  1

• Generated rust code doesn't compile

  #16 opened 7 months ago by womeier
  9

• Peano encoding probably bad

  #17 opened 7 months ago by workingjubilee
  15

• Consider emitting `unreachable!()` for absurd cases

  #19 opened 7 months ago by workingjubilee
  1

• Consider being even more ridiculously leaky

  #20 opened 7 months ago by workingjubilee
  0

• Closures probably not that less efficient

  #18 opened 7 months ago by workingjubilee
  1

• Support records with primitive projections

  #8 opened 4 years ago by annenkov
  0