TransWikia.com

Questions Tagged with "homotopy type theory"

Explore solved questions tagged with "homotopy type theory" or help others by answering their unsolved questions related to "homotopy type theory".

Appearance of proof relevance in "ordinary mathematics?"

2 answer

MathOverflow Asked 2 years ago by mcncm

Can "vorhin" be used instead of "von vorhin" in this sentence?

1 answer

German Language Asked 3 years ago by John Lamb

Warum verliert "Schule" in Zusammensetzungen ("Schulhaus") das "e"?

1 answer

German Language Asked 3 years ago by das-g

Sie hat braune Haare

1 answer

German Language Asked 3 years ago by Mrt

Verwendung von "Mann Gottes"

1 answer

German Language Asked 3 years ago by Paul Frost

"Sich befassen mit" vs. "sich beschäftigen mit"

5 answer

German Language Asked 3 years ago by DerPolyglott33

Das Genus von »Teil«: der oder das?

1 answer

German Language Asked 3 years ago by c.p.

Meaning of "Einen Lauf geben"

2 answer

German Language Asked 3 years ago by Enrique Moreno Tent

Warum heißt es "das" Kalman-Filter?

3 answer

German Language Asked 3 years ago by Strohhut

Meaning and usage of "aufarbeiten"

5 answer

German Language Asked 3 years ago by Autumn

Ask a Question

Get help from others!

Recent Answers

Recent Questions

Categories

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP