Mercurial > hg > Members > kono > Proof > category
comparison README.md @ 1023:227e1fe321ea
using Bool and LEM
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 27 Mar 2021 22:52:43 +0900 |
parents | ac53803b3b2a |
children | f1f625c3866c |
comparison
equal
deleted
inserted
replaced
1022:2f7e4ad86fc6 | 1023:227e1fe321ea |
---|