Name		Name	Last commit message	Last commit date
2012-FOL		2012-FOL
2012-Watson		2012-Watson
2013-ExLog		2013-ExLog
2013-FOL		2013-FOL
2014-EL		2014-EL
2016-GCAI		2016-GCAI
2016-SFO		2016-SFO
2018-UniversalLogicalReasoning		2018-UniversalLogicalReasoning
2019-Goedel		2019-Goedel
2025-Goedel		2025-Goedel
compmeta/htdocs		compmeta/htdocs
crap		crap
cv-texmacs		cv-texmacs
images		images
lectures		lectures
leo		leo
papers		papers
protected		protected
varia		varia
.DS_Store		.DS_Store
.gitattributes		.gitattributes
2007-Diving.jpg		2007-Diving.jpg
2008-chris-1-klein.gif		2008-chris-1-klein.gif
2008-chris-1-klein.jpg		2008-chris-1-klein.jpg
2008-chris-1-sehrklein.jpg		2008-chris-1-sehrklein.jpg
2008-chris-1.jpg		2008-chris-1.jpg
2008-chris-2.jpg		2008-chris-2.jpg
2008-chris-3.jpg		2008-chris-3.jpg
2008-chris-4.jpg		2008-chris-4.jpg
2008_death_valley.jpg		2008_death_valley.jpg
2009_tahoe.jpg		2009_tahoe.jpg
2010-skiing.jpg		2010-skiing.jpg
2025-WorkshopsGoedelDec4and5.pdf		2025-WorkshopsGoedelDec4and5.pdf
2025-WorkshopsGoedelDec4and5.png		2025-WorkshopsGoedelDec4and5.png
AISE-ETH-2023-Foto1.jpg		AISE-ETH-2023-Foto1.jpg
AISE-ETH-2023.html		AISE-ETH-2023.html
CNAME		CNAME
Chris_Max.gif		Chris_Max.gif
FULogo-RGB.gif		FULogo-RGB.gif
GoetheSummerSchool2022.html		GoetheSummerSchool2022.html
GoetheSummerSchool_1.jpg		GoetheSummerSchool_1.jpg
GoetheSummerSchool_2.jpg		GoetheSummerSchool_2.jpg
KI2019.png		KI2019.png
KI2019klein.jpg		KI2019klein.jpg
KI2019klein.png		KI2019klein.png
README.md		README.md
bibbase.css		bibbase.css
cade-25_poster_a2_final.jpg		cade-25_poster_a2_final.jpg
cade-25_poster_a2_final.pdf		cade-25_poster_a2_final.pdf
chris-2006.gif		chris-2006.gif
chris-2006.jpg		chris-2006.jpg
cv.html		cv.html
fu_logo.gif		fu_logo.gif
gcai2016.png		gcai2016.png
gcai2017.png		gcai2017.png
index.html		index.html
index.html.old		index.html.old
media.html		media.html
publications.html		publications.html
research.html		research.html
short-bio.html		short-bio.html
talks.html		talks.html
teaching.html		teaching.html
test.sh		test.sh

Repository files navigation

chrisWebGIT

About

No description, website, or topics provided.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages