Code
simulation
Simulating AWS IAM with Prolog
Prototyping a better developer tool for cloud security
September 23, 2024