Skip to content

Commit 5c18585

Browse files
authored
Update README.md
1 parent 74f0a51 commit 5c18585

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
- We updated this repository to Isabelle2021-1.
33
- LiFtEr and Smart_Induct are no-longer supported, since their successors, SeLFiE and sem_ind, have shown superior performance.
44
- This is the development version of PSL, PaMpeR, SeLFiE, and sem_ind where we try out possibly immature ideas. In case you find problems, please send your feedback.
5-
- The main developer of this repository, Yutaka Ng, has taken a full-time position for the [SuSLik](https://github.com/TyGuS/suslik) project at Yale-NUS, and he will work on [PSL and all that](https://github.com/data61/PSL/) only in his spare time. Therefore, the progress of this project, unfortunately, will be slow for the foreseeable future. In case you find problems and requests about data61/PSL, contact Yutaka Ng (email: yutaka.nagashima@student.uibk.ac.at, twitter: [YutakangE](https://twitter.com/YutakangE)).
5+
- The main developer of this repository, Yutaka, has taken a full-time position for at a private company, and he works on [PSL and all that](https://github.com/data61/PSL/) only in his spare time. Therefore, the progress of this project, unfortunately, will be slow for the foreseeable future. In case you find problems and requests about data61/PSL, contact Yutaka (email: united.reasoning+gmail.com (reaplace + with @), twitter: [YutakangE](https://twitter.com/YutakangE)) or open an issue.
66

77
# Smart_Isabelle
88

0 commit comments

Comments
 (0)