%0 Journal Article %1 journals/jlap/Abrahamsson20 %A Abrahamsson, Oskar %D 2020 %J J. Log. Algebraic Methods Program. %K dblp %P 100530 %T A verified proof checker for higher-order logic. %U http://dblp.uni-trier.de/db/journals/jlap/jlap112.html#Abrahamsson20 %V 112

@article{journals/jlap/Abrahamsson20, added-at = {2023-06-26T00:00:00.000+0200}, author = {Abrahamsson, Oskar}, biburl = {https://www.bibsonomy.org/bibtex/22083ac8b1c6905f5d259e062370fc84b/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2020.100530}, interhash = {5c157dba1b6d944eec9c71142c880251}, intrahash = {2083ac8b1c6905f5d259e062370fc84b}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100530, timestamp = {2024-04-09T05:08:11.000+0200}, title = {A verified proof checker for higher-order logic.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap112.html#Abrahamsson20}, volume = 112, year = 2020 }