|
commands
|
refactor proof options to theorem options
|
2021-07-02 15:26:13 -07:00 |
|
tests
|
Merge branch 'master' into feature/opti-cli-flag
|
2021-04-26 23:39:10 +03:00 |
|
api.rs
|
clippy
|
2021-04-27 17:06:48 +03:00 |
|
config.rs
|
updates login procedure
|
2021-04-12 15:59:23 +03:00 |
|
context.rs
|
fixes clippy and tests
|
2021-04-21 19:01:29 +03:00 |
|
lib.rs
|
Migrates synthesizer to a dedicated module
|
2021-02-27 08:48:20 -08:00 |
|
logger.rs
|
changed testing approach
|
2021-04-26 19:35:12 +03:00 |
|
main.rs
|
fix array indexing assigning
|
2021-06-26 20:44:48 -07:00 |
