HeikoBecker/TheoremProving-Notes

Notes and tactic collections for theorem provers I have used

Standard ML