Repository for the Stacks Project
Why do you think that https://github.com/OpenLogicProject/OpenLogic is a good alternative to stacks-project
Repository for the Stacks Project
Why do you think that https://github.com/OpenLogicProject/OpenLogic is a good alternative to stacks-project