-
Notifications
You must be signed in to change notification settings - Fork 2
Insights: reilabs/lampe
Overview
-
- 6 Merged pull requests
- 1 Open pull request
- 2 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
6 Pull requests merged by 2 people
-
Add Lean testing framework
#38 merged
Jan 17, 2025 -
Update Noir version to 1.0.0-beta.1
#37 merged
Jan 17, 2025 -
String literals
#36 merged
Jan 16, 2025 -
Various small enhancements
#33 merged
Jan 15, 2025 -
chore: bump lean and mathlib to 4.15.0
#32 merged
Jan 13, 2025 -
Extractor improvements
#24 merged
Jan 13, 2025
1 Pull request opened by 1 person
-
TraitAsType support
#39 opened
Jan 18, 2025
2 Issues closed by 2 people
-
Move Lean examples to a separate file
#34 closed
Jan 17, 2025 -
Update targeted Noir version
#35 closed
Jan 17, 2025