AWS Key Management Serviceを用いて、オブジェクトを暗号化・復号化するためのパッケージです。
published 0.0.4 5 years ago- published 0.1.1 5 years ago
An automated theorem prover for first-order predicate logic written in TypeScript
published 0.0.3 5 years ago
AWS Key Management Serviceを用いて、オブジェクトを暗号化・復号化するためのパッケージです。
An automated theorem prover for first-order predicate logic written in TypeScript