LEGO (proof assistant) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "LEGO (proof assistant)" in English language version.

refsWebsite
Global rank English rank
1,923rd place
1,068th place

zbmath.org (Global: 1,923rd place; English: 1,068th place)

  • "Software Search - zbMATH Open". zbmath.org. Retrieved 2022-11-03.