![fern-api[bot]](https://avatars.githubusercontent.com/in/244756?v=4&size=40){kind=avatar}
File tree
28 files changed
+1085
-1247
lines changed- src/axiomatic
- core
- formalization
- constraints
- solution
- types
- lean
- pic
- circuit
- requirements/data_files
- types
28 files changed
+1085
-1247
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
0 commit comments