MetaPRL is currently been maintained

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

Open LdBeth opened 3 years ago

LdBeth commented 3 years ago

The current repo is located at https://github.com/LdBeth/metaprl that I'm still doing improvements and bug fixes, revived from the repo from one of the original authors https://github.com/jyh/metaprl.

tkw1536 commented 3 years ago

We should update repos.yml accordingly then.