diff --git a/_data/signed/denis-256.yaml b/_data/signed/denis-256.yaml new file mode 100644 index 00000000..2ede8cf4 --- /dev/null +++ b/_data/signed/denis-256.yaml @@ -0,0 +1,2 @@ +name: Denis Ivanov (Denis's Formal Systems S.R.L.) +link: https://github.com/denis-256