토론:증명 보조기
새 주제외부 링크 수정됨 (2022년 12월)[편집]
안녕하세요 편집자 여러분,
증명 보조기에서 2개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:
- https://web.archive.org/web/20211204100900/https://marketplace.visualstudio.com/items?itemName=siegebell.vscoq 보존 링크를 https://marketplace.visualstudio.com/items?itemName=siegebell.vscoq 링크에 추가함
- https://web.archive.org/web/20170308171141/https://www.dmoz.org/Science/Math/Logic_and_Foundations/Computational_Logic/Logical_Frameworks/ 보존 링크를 http://www.dmoz.org/Science/Math/Logic_and_Foundations/Computational_Logic/Logical_Frameworks/ 링크에 추가함
봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.
감사합니다.—InternetArchiveBot (버그를 제보하기) 2022년 12월 4일 (일) 20:45 (KST)
외부 링크 수정됨 (2023년 1월)[편집]
안녕하세요 편집자 여러분,
증명 보조기에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:
- https://web.archive.org/web/20220527220519/http://www.cs.ru.nl/~janz/yarrow/ 보존 링크를 https://www.cs.ru.nl/~janz/yarrow/ 링크에 추가함
봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.
감사합니다.—InternetArchiveBot (버그를 제보하기) 2023년 1월 4일 (수) 04:08 (KST)
외부 링크 수정됨 (2023년 2월)[편집]
안녕하세요 편집자 여러분,
증명 보조기에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:
- https://web.archive.org/web/20220121022021/http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/07/interactiveTheoremProvingForAgdaUsers.html 보존 링크를 http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/07/interactiveTheoremProvingForAgdaUsers.html 링크에 추가함
봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.
감사합니다.—InternetArchiveBot (버그를 제보하기) 2023년 2월 19일 (일) 18:49 (KST)
외부 링크 수정됨 (2024년 2월)[편집]
안녕하세요 편집자 여러분,
증명 보조기에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:
- https://web.archive.org/web/20220522101305/https://nuprl.org/Intro/others.html 보존 링크를 http://www.nuprl.org/Intro/others.html 링크에 추가함
봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.
감사합니다.—InternetArchiveBot (버그를 제보하기) 2024년 2월 24일 (토) 14:08 (KST)