Chronological Index (1903)

Last update: Thu Dec 16 20:23:49 2021
2 messages in chronological order

Subject
From
# of followups

[mizar] Fwd: Postdoc proposal in Paris on Proof interoperability with Mizar Josef Urban 0

[mizar] 1st CFP for Certified Programs and Proofs (CPP 2020) Adam Grabowski 0

Subject	From	# of followups
[mizar] Fwd: Postdoc proposal in Paris on Proof interoperability with Mizar	Josef Urban	0
[mizar] 1st CFP for Certified Programs and Proofs (CPP 2020)	Adam Grabowski	0