Commits

Author Commit Message Labels Comments Date
yoshihiro503
Extractの時はExtrOcamlBasicの基本モジュールを使うように。
yoshihiro503
..
yoshihiro503
証明のリファクタリング
yoshihiro503
README
yoshihiro503
MIT License
yoshihiro503
add hgignore
yoshihiro503
定義と定理を分離
yoshihiro503
Parametersに統一
yoshihiro503
リファクタリング
Yoshihiro Imai
asdf
Yoshihiro Imai
asdf
Yoshihiro Imai
asd
Yoshihiro Imai
ads
Yoshihiro Imai
fas
yoshihiro503
asdf
yoshihiro503
asdf
Yoshihiro Imai
asdf
yoshihiro503
asfd
yoshihiro503
asfd
Yoshihiro Imai
asdfa
yoshihiro503
asdf
yoshihiro503
fasd