KI-Telefonassistenten Entwicklung | softwarefoundations.cis.upenn.edu | 216.73.216.168

ID	target	source	path	created
748746764	softwarefoundations.cis.upenn.edu	pleiad.cl	/teaching/cc7125	2025-12-11 13:40:52.419
747883668	softwarefoundations.cis.upenn.edu	anggtwu.net	/e/coq.e.html	2025-12-11 08:52:21.567
743022037	softwarefoundations.cis.upenn.edu	trackawesomelist.com	/mostafatouny/awesome-theoreti...	2025-12-10 12:44:18.853
742290501	softwarefoundations.cis.upenn.edu	kodsnack.se	/612/	2025-12-10 10:00:51.306
729033631	softwarefoundations.cis.upenn.edu	zestedesavoir.com	/articles/3508/un-zeste-de-mat...	2025-12-08 02:25:27.125
712961131	softwarefoundations.cis.upenn.edu	rocq-prover.org	/docs	2025-12-06 04:07:44.939
704289353	softwarefoundations.cis.upenn.edu	en.itu.dk	/Research/PhD-Programme/PhD-Co...	2025-12-04 14:11:20.240
692625931	softwarefoundations.cis.upenn.edu	kcsrk.info	/cs6225_s25_iitm/resources/	2025-11-30 21:15:52.743
681797803	softwarefoundations.cis.upenn.edu	hillelwayne.com	/post/divide-by-zero/	2025-11-26 14:46:56.334
677261165	softwarefoundations.cis.upenn.edu	ntietz.com	/blog/return-statement-reflect...	2025-11-23 16:05:44.548
673926793	softwarefoundations.cis.upenn.edu	stevens.edu	/profile/mgreenbe	2025-11-21 10:38:50.027
668084212	softwarefoundations.cis.upenn.edu	courses.cs.ut.ee	/2025/AKTSP/spring/Main/Links	2025-11-18 07:36:25.541
666681797	softwarefoundations.cis.upenn.edu	sisu.ut.ee	/sws/teaching/	2025-11-17 05:40:25.247
659764523	softwarefoundations.cis.upenn.edu	notes.andymatuschak.org	/zJgf3fYv555s984EZUBk9zN	2025-11-11 02:00:57.293
658656025	softwarefoundations.cis.upenn.edu	joachim-breitner.de	/blog/777-Named_goals_in_Coq	2025-11-10 18:35:24.641
658514918	softwarefoundations.cis.upenn.edu	byorgey.wordpress.com	/2021/06/24/types-versus-sets-...	2025-11-10 16:39:29.648
638699411	softwarefoundations.cis.upenn.edu	logicmatters.net	/2021/05/19/mathematical-logic...	2025-11-01 08:19:02.232
638698597	softwarefoundations.cis.upenn.edu	cs.unibuc.ro	/event/logical-foundations-sim...	2025-11-01 08:18:14.227
638639437	softwarefoundations.cis.upenn.edu	qi.rub.de	/courses/proglang_ws24	2025-11-01 07:47:09.889
633687220	softwarefoundations.cis.upenn.edu	cceckman.com	/resume/	2025-10-30 13:16:37.796

target

role

source

path

created

748746764

softwarefoundations.cis.upenn.edu

pleiad.cl

/teaching/cc7125

2025-12-11 13:40:52.419

747883668

softwarefoundations.cis.upenn.edu