π₯ I'm currently working on: kotlin-satlib and sat-nexus
π± I'm currently learning Rust
π§ Drop me a mail: lipen00@gmail.com
π My GPG key is D0EF616F416E8333
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abuseπ₯ I'm currently working on: kotlin-satlib and sat-nexus
π± I'm currently learning Rust
π§ Drop me a mail: lipen00@gmail.com
π My GPG key is D0EF616F416E8333
π Supplementary materials for Discrete Math course at ITMO University
Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties