Thread Index (1101)

Last update: Thu Dec 16 20:23:36 2021
13 threaded messages

[mizar] ITP 2011 (Call for Papers), Freek Wiedijk

[mizar] Concatenation of finite sequences, trybulec

Re: [mizar] Concatenation of finite sequences, Josef Urban
Re: [mizar] Concatenation of finite sequences, Piotr Rudnicki
- Re: [mizar] Concatenation of finite sequences, trybulec
  - Re: [mizar] Concatenation of finite sequences, marco caminati
Re: [mizar] Concatenation of finite sequences, Freek Wiedijk
- Re: [mizar] Concatenation of finite sequences, Piotr Rudnicki
  - Re: [mizar] Concatenation of finite sequences, Freek Wiedijk
- Re: [mizar] Concatenation of finite sequences, trybulec

[mizar] ITP 2011 (Call for Workshop Proposals), Freek Wiedijk

[mizar] New Mizar mirror site at Auburn University, Adam Naumowicz