This post is from a low-reputation account and contains an unverified outbound link. Be cautious before clicking external links.
my answer is my thesis at https://github.com/milahu/alchi
Read next
my answer is my thesis at https://github.com/milahu/alchi