I am wondering how to reference a journal (not a paper published in that journal, nor even an edition of that journal). Ought I to give a formal citation or is it enough to name that journal in the text?
The specific example which caused my confusion is the Archive of Formal Proofs (AFP) which is a repository of proofs in Isabelle along with papers describing them. It is not exactly a journal itself, I suppose, but I think it is similar enough that I have generalised this question to ask about 'journals' (it describes itself as 'organized in the way of a scientific journal').
Another option I suppose would be to cite a paper written by the developers of the AFP about the technology used in the AFP, or the organisation of the AFP.